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

by Dan Grossman , Greg Morrisett , Trevor Jim , Mike Hicks , Yanling Wang , James Cheney
Citations:7 - 3 self