Program representation size in an intermediate language with intersection and union types

A Dimock, I Westmacott, R Muller, F Turbak, Joseph Brian Wells, J Considine

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

Original language	English
Pages	27-52
Number of pages	26
Publication status	Published - Jun 2001
Event	Proceedings of the Third Workshop on Types in Compilation - Duration: 1 Jun 2001 → …

Conference	Proceedings of the Third Workshop on Types in Compilation
Abbreviated title	TIC '00
Period	1/06/01 → …
Other	(), Springer-Verlag. LNCS.

Cite this

@conference{f2565c1041d14d63bdc91ae492180a19,

title = "Program representation size in an intermediate language with intersection and union types",

author = "A Dimock and I Westmacott and R Muller and F Turbak and Wells, {Joseph Brian} and J Considine",

year = "2001",

month = jun,

language = "English",

pages = "27--52",

note = "Proceedings of the Third Workshop on Types in Compilation, TIC '00 ; Conference date: 01-06-2001",

}