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

Hyeonseung Im, Keiko Nakata, Sungwoo Park

Browse the full ICALP paper archive.