The Essence of Principal Typings

Research output: Contribution to conferencePaperpeer-review

73 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
Country/TerritorySpain
Period1/07/02 → …
OtherMalaga, Spain. LNCS, Springer Verlag

Cite this