The Essence of Principal Typings (2002)

Cached

Download Links

by J. B. Wells
Venue:In Proc. 29th Int’l Coll. Automata, Languages, and Programming, volume 2380 of LNCS
Citations:86 - 12 self