Posts By: Greg Morrisett
| Date | Post | Topic |
| 10/13/2009 | See Fluet & Want's follow-on | Safe Garbage Collection = Regions + Intensional Type Analysis |
| 11/09/2008 | Err... | The Origins of the BitC Programming Language |
| 11/11/2008 | I was asking for it... | The Origins of the BitC Programming Language |
| 11/14/2008 | With the addition of | The Origins of the BitC Programming Language |
| 11/09/2008 | Yes, we fell down this hole | Question concerning parameterization over literals |
| 10/07/2008 | some related work | Worlds: Controlling the Scope of Side Effects |
| 04/18/2008 | It can be done but... | Breaking region nesting in type-and-effect systems? |
| 01/29/2008 | Better than you think | The YNot Project |
| 12/05/2007 | Message Passing & Memory Mgmgt. | Monadic and Substructural Type Systems for Region-Based Memory Management |
| 12/04/2007 | Linear Regions are all you need. | Monadic and Substructural Type Systems for Region-Based Memory Management |
| 05/10/2006 | Cyclone 1.0 released. | Cyclone 1.0 released. |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |