Type Inference with Expansion Variables and Intersection Types in System E and an Exact Correspondence with Beta-Reduction

Joseph Brian Wells, Sebastien Carlier

Research output: Contribution to conferencePaper

Original languageEnglish
Publication statusPublished - Aug 2004
EventProc. 6th Int'l Conf. Principles & Practice Declarative Programming - Verona, Italy
Duration: 1 Aug 2004 → …

Conference

ConferenceProc. 6th Int'l Conf. Principles & Practice Declarative Programming
Abbreviated titlePPDP '04
CountryItaly
CityVerona
Period1/08/04 → …

Cite this

Wells, J. B., & Carlier, S. (2004). Type Inference with Expansion Variables and Intersection Types in System E and an Exact Correspondence with Beta-Reduction. Paper presented at Proc. 6th Int'l Conf. Principles & Practice Declarative Programming, Verona, Italy.