Browsing by Author "Dimock, Allyn"

OpenBU

Browsing by Author "Dimock, Allyn"

Sort by: Order: Results:

  • Program Representation Size in an Intermediate Language with Intersection and Union Types
    Dimock, Allyn; Westmacott, Ian; Muller, Robert; Turbak, Franklyn; Wells, J.B.; Considine, Jeffrey (Boston University Computer Science Department, 2001)
    The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both terms and types. The CIL term representation duplicates ...