Now showing items 1-1 of 1

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