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 conferencePaperpeer-review

4 Citations (Scopus)
Original languageEnglish
Pages27-52
Number of pages26
Publication statusPublished - Jun 2001
EventProceedings of the Third Workshop on Types in Compilation -
Duration: 1 Jun 2001 → …

Conference

ConferenceProceedings of the Third Workshop on Types in Compilation
Abbreviated titleTIC '00
Period1/06/01 → …
Other (), Springer-Verlag. LNCS.

Cite this