Formal type soundness for Cyclone’s region system

Formal type soundness for Cyclone’s region system (2001)

Cached

Save to List
Add to Collection
Correct Errors
Monitor Changes

by Dan Grossman , Greg Morrisett , Trevor Jim , Mike Hicks , Yanling Wang , James Cheney

Citations:

BibTeX

@TECHREPORT{Grossman01formaltype,
    author = {Dan Grossman and Greg Morrisett and Trevor Jim and Mike Hicks and Yanling Wang and James Cheney},
    title = {Formal type soundness for Cyclone’s region system},
    institution = {},
    year = {2001}
}