Skip to main navigation Skip to search Skip to main content

A Complete Type Inference Algorithm for Simple Intersection Types

Research output: Contribution to conferencePaperpeer-review

Original languageEnglish
Pages102-124
Publication statusPublished - 1992
EventCAAP 92 -
Duration: 1 Jan 1992 → …

Conference

ConferenceCAAP 92
Period1/01/92 → …

Cite this