Now showing items 2-5 of 5

    • First-Class Phantom Types 

      Cheney, James; Hinze, Ralf (Cornell University, 2003-07-10)
      Classical phantom types are datatypes in which type constraints are expressed using type variables that do not appear in the datatype cases themselves. They can be used to embed typed languages into Haskell or ML. ...
    • Formal Type Soundness for Cyclone's Region System 

      Grossman, Dan; Morrisett, Greg,; Jim, Trevor; Hicks, Mike; Wang, Yanling; Cheney, James (Cornell University, 2001-11-30)
      Cyclone is a polymorphic, type-safe programming language derived from C\@. The primary design goals of Cyclone are to let programmers control data representations and memory management without sacrificing type-safety. ...
    • A Linearly Typed Assembly Language 

      Cheney, James; Morrisett, Greg (Cornell University, 2003-06-04)
      Today's type-safe low-level languages rely on garbage collection to recycle heap-allocated objects safely. We present LTAL, a safe, low-level, yet simple language that ``stands on its own'': it guarantees safe execution ...
    • Toward a Theory of Information Preservation 

      Cheney, James; Lagoze, Carl; Botticelli, Peter (Cornell University, 2001-05-23)
      Digital preservation is a pressing challenge to the library community. In this paper, we describe the initial results of our efforts towards understanding digital (as well as traditional) preservation problems from first ...