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 conferencePaper

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

Dimock, A., Westmacott, I., Muller, R., Turbak, F., Wells, J. B., & Considine, J. (2001). Program representation size in an intermediate language with intersection and union types. 27-52. Paper presented at Proceedings of the Third Workshop on Types in Compilation, .