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",

}

TY - CONF

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

AU - Dimock, A

AU - Westmacott, I

AU - Muller, R

AU - Turbak, F

AU - Wells, Joseph Brian

AU - Considine, J

PY - 2001/6

Y1 - 2001/6

UR - https://www.scopus.com/pages/publications/0002911829

M3 - Paper

SP - 27

EP - 52

T2 - Proceedings of the Third Workshop on Types in Compilation

Y2 - 1 June 2001

ER -