Browsing CAS: Computer Science: Technical Reports by Author "Turbak, Franklyn"

OpenBU

Browsing CAS: Computer Science: Technical Reports by Author "Turbak, Franklyn"

Sort by: Order: Results:

  • Faithful Translations between Polyvariant Flows and Polymorphic Types
    Amtoft, Torben; Turbak, Franklyn (Boston University Computer Science Department, 2000-01-10)
    Recent work has shown equivalences between various type systems and flow logics. Ideally, the translations upon which such equivalences are based should be faithful in the sense that information is not lost in round-trip ...
  • 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 ...

Search OpenBU


Advanced Search

Browse

Deposit Materials