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

Publication

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

ICALP 2013: International Colloquium on Automata, Languages, and Programming. Part II. pp. 299-311

Authors

Hyeonseung Im Keiko Nakata Sungwoo Park

Tags

programming-languages formal-methods