täiskirje prindi

Contractive signatures with recursive types, type parameters, and abstract types

autor
Im, Hyeonseung
Nakata, Keiko
Park, Sungwoo
vastutusandmed
Hyeonseung Im, Keiko Nakata and Sungwoo Park
allikas
Automata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
ilmumiskoht
Berlin
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 299 - 311
seeria-sari
Lecture Notes in Computer Science ; 7966
konverentsi nimetus, aeg
40th International Colloquium on Automata, Languages, and Programming, ICALP 2013, 8-12 July 2013
konverentsi toimumispaik
Riga, Latvia
leitav
ISSN
1611-3349
ISBN
978-364239211-5
märkused
Bibliogr.: 18 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
Im, H., Nakata, K., Park, S. Contractive signatures with recursive types, type parameters, and abstract types // Automata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II. Berlin : Springer, 2013. p. 299 - 311. (Lecture Notes in Computer Science ; 7966). https://doi.org/10.1007/978-3-642-39212-2_28