Browsing by Author "Turbak, Franklyn"

OpenBU

Browsing by Author "Turbak, Franklyn"

Sort by: Order: Results:

  • 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 ...
  • 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 ...