Computer Science Department
School of Computer Science, Carnegie Mellon University
Umut A. Acar, Guy E. Blelloch, Robert Harper
We describe the framework in the context of a functional language and an implementation as an SML library. The language is based on a modal type system and allows the programmer to express programs that reveal their true data dependences when executed. The SML implementation cannot support this modal type system statically, but instead employs run-time checks to ensure correct usage of primitives.