eCommons@Cornell: Browsing eCommons

Browsing by Author Smith, Frederick

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 5 of 5

Issue Date	Title	Author(s)
Oct-1999	Alias Types	Smith, Frederick; Walker, David; Morrisett, Greg
27-Oct-2000	Compiling for Runtime Code Generation (Extended Version)	Smith, Frederick; Grossman, Dan; Morrisett, Greg; Hornof, Luke; Jim, Trevor
Jul-1996	The Complexity of Kleene Algebra with Tests	Cohen, Ernie; Kozen, Dexter; Smith, Frederick
Apr-1996	Kleene Algebra with Tests: Completeness and Decidability	Kozen, Dexter; Smith, Frederick
Aug-1997	Mostly-Copying Collection: A Viable Alternative to ConservativeMark-Sweep	Smith, Frederick; Morrisett, Greg

Showing results 1 to 5 of 5