[ .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}
}

Back