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.
Wells, Joseph Brian ; Carlier, Sebastien. / 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.
@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 = "8",
language = "English",
note = "Proc. 6th Int'l Conf. Principles & Practice Declarative Programming, PPDP '04 ; Conference date: 01-08-2004",

}

Wells, JB & 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, 1/08/04.

Type Inference with Expansion Variables and Intersection Types in System E and an Exact Correspondence with Beta-Reduction. / Wells, Joseph Brian; Carlier, Sebastien.

2004. Paper presented at Proc. 6th Int'l Conf. Principles & Practice Declarative Programming, Verona, Italy.

Research output: Contribution to conferencePaper

TY - CONF

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

AU - Wells, Joseph Brian

AU - Carlier, Sebastien

PY - 2004/8

Y1 - 2004/8

M3 - Paper

ER -

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