Unification and polymorphism in region inference: essays in honour of Robin Milner

Research output: Contribution to book/anthology/report/proceedingBook chapterResearchpeer-review

Original languageEnglish
Title of host publicationProof, language, and interaction
EditorsGordon Plotkin , Colin Stirling, Mads Tofte
Number of pages35
PublisherMIT Press
Publication year2000
Pages389-423
ISBN (print)0-262-16188-5
Publication statusPublished - 2000
Externally publishedYes
SeriesFoundations of Computing

See relations at Aarhus University Citationformats

ID: 81403672