External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types

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]

Authors

Hyeonseung Im

This author has not been identified. Look up 'Hyeonseung Im' in Google

Keiko Nakata

This author has not been identified. Look up 'Keiko Nakata' in Google

Sungwoo Park

This author has not been identified. Look up 'Sungwoo Park' in Google
runs on