The Essence of Principal Typings

Research output: Contribution to conferencePaper

66 Citations (Scopus)
Original languageEnglish
Pages913-925
Number of pages13
Publication statusPublished - Jul 2002
Event29th International Coll. Automata, Languages and Programming - , Spain
Duration: 1 Jul 2002 → …

Conference

Conference29th International Coll. Automata, Languages and Programming
Abbreviated titleICALP '02
CountrySpain
Period1/07/02 → …
OtherMalaga, Spain. LNCS, Springer Verlag

Cite this

Wells, J. B. (2002). The Essence of Principal Typings. 913-925. Paper presented at 29th International Coll. Automata, Languages and Programming , Spain.