full record print

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

author
Im, Hyeonseung
Nakata, Keiko
Park, Sungwoo
statement of authorship
Hyeonseung Im, Keiko Nakata and Sungwoo Park
source
Automata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
location of publication
Berlin
publisher
year of publication
pages
p. 299 - 311
series
Lecture Notes in Computer Science ; 7966
conference name, date
40th International Colloquium on Automata, Languages, and Programming, ICALP 2013, 8-12 July 2013
conference location
Riga, Latvia
url
ISSN
1611-3349
ISBN
978-364239211-5
notes
Bibliogr.: 18 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
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