Now showing items 1-1 of 1

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