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 has been generated by bibtex2html 1.69