Papers related to Cyclone language
- The meaning of memory safety [azevedo:post:2018]
- Dependent types for low-level programming [condit:esop:2007]
- Existential types for imperative languages [grossman:esop:2002]
- Region-based memory management in Cyclone [grossman:pldi:2002]
- TALx86: A realistic typed assembly language [morrisett:wcsss:1999]