Hyeonseung Im, Keiko Nakata, Sungwoo Park. Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types. In Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg, editors, Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II. Volume 7966 of Lecture Notes in Computer Science, pages 299-311, Springer, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.