Greg Morrisett

type	title	author	last post
Story	The YNot Project Better than you think by Greg Morrisett	Paul Snively	2012-08-17 23:32
Story	Safe Garbage Collection = Regions + Intensional Type Analysis See Fluet & Want's follow-on by Greg Morrisett	naasking	2009-10-18 08:04
Forum topic	The Origins of the BitC Programming Language With the addition of by Greg Morrisett I was asking for it... by Greg Morrisett Err... by Greg Morrisett	Isaac Gouy	2009-01-30 00:38
Forum topic	Question concerning parameterization over literals Yes, we fell down this hole by Greg Morrisett	shap	2009-01-23 19:27
Story	Worlds: Controlling the Scope of Side Effects some related work by Greg Morrisett	Luke Gorrie	2008-10-09 23:54
Forum topic	Breaking region nesting in type-and-effect systems? It can be done but... by Greg Morrisett	naasking	2008-06-24 17:03
Forum topic	Monadic and Substructural Type Systems for Region-Based Memory Management Message Passing & Memory Mgmgt. by Greg Morrisett Linear Regions are all you need. by Greg Morrisett	naasking	2007-12-05 17:38
Forum topic	Cyclone 1.0 released.	Greg Morrisett	2006-05-13 20:57

Lambda the Ultimate