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

Research output: Contribution to conference › Paper › peer-review

Original language	English
Publication status	Published - Aug 2004
Event	Proc. 6th Int'l Conf. Principles & Practice Declarative Programming - Verona, Italy Duration: 1 Aug 2004 → …

Conference	Proc. 6th Int'l Conf. Principles & Practice Declarative Programming
Abbreviated title	PPDP '04
Country/Territory	Italy
City	Verona
Period	1/08/04 → …

Cite this

@conference{92cb531265ce468b954afb6f60d9a146,

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

author = "Wells, {Joseph Brian} and Sebastien Carlier",

year = "2004",

month = aug,

language = "English",

note = "Proc. 6th Int'l Conf. Principles & Practice Declarative Programming, PPDP '04 ; Conference date: 01-08-2004",

}