Formal Type Soundness for Cyclone’s Region System. Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, and James Cheney. Technical Report CS 2001-1856, Cornell University, November 2001.
[ .pdf ]
@techreport{GrossmanMJHWC02tr, author = {Dan Grossman and Greg Morrisett and Trevor Jim and Michael Hicks and Yanling Wang and James Cheney}, title = {Formal Type Soundness for {Cyclone}’s Region System}, number = {CS 2001-1856}, month = nov, year = 2001, institution = {Cornell University} }
This file was generated by bibtex2html 1.99.