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.