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.