tautologico's Morrisett:G [20 articles] Export

Recent papers posted to tautologico's library by the author Morrisett:G. You can also see everyone's Morrisett:G.

	Composing first-class transactions [My Copy] ACM Trans. Program. Lang. Syst., Vol. 16, No. 6. (November 1994), pp. 1719-1736. by Nicholas Haines, Darrell Kindred, Gregory J. Morrisett, Scott M. Nettles, Jeannette M. Wing posted to transactional by tautologico on 2007-10-23 20:09:56 as
	Semantics of Memory Management for Polymorphic Languages [My Copy] In Higer Order Operational Techniques in Semantics (1997) by Greg Morrisett, Robert Harper edited by A. Gordon, A. Pitts posted to memory-management by tautologico on 2006-03-11 02:20:27 as
	Scalable Certification of Native Code: Experience from Compiling to TALx86 [My Copy] No. TR2000-1783. (February, 2000) by Dan Grossman, Greg Morrisett posted to typed-assembly-language by tautologico on 2005-08-01 05:49:25 as
	Stack-Based Typed Assembly Language [My Copy] In Types in Compilation (1998), pp. 28-52. by Gregory J. Morrisett, Karl Crary, Neal Glew, David Walker posted to typed-assembly-language by tautologico on 2005-08-01 05:48:14 as along with 1 person cogumbreiro
	Typed Memory Management in a Calculus of Capabilities [My Copy] In Conference Record of POPL 99: The 26th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 262-275. by Karl Crary, David Walker, Greg Morrisett posted to memory-management types by tautologico on 2005-08-01 03:41:30 as
	Safe and Flexible Memory Management in Cyclone [My Copy] No. CS-TR-4514. (July 2003) by Mike Hicks, Greg Morrisett, Dan Grossman, Trevor Jim posted to cyclone memory-management reference-counting regions by tautologico on 2005-07-16 18:35:29 as
	Cyclone: A safe dialect of c [My Copy] (2002) by T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, Y. Wang posted to cyclone regions by tautologico on 2005-07-16 18:13:31 as along with 7 people and 1 group mattmight MattOConnor bdauvergne robennals krisn11 _Anne_ srccheck U Combinator
	Intensional Polymorphism in Type-Erasure Semantics [My Copy] Journal of Functional Programming by K. Crary, S. Weirich, G. Morrisett posted to intensional-types types by tautologico on 2005-07-02 03:14:13 as
	TIL: A Type-Directed Optimizing Compiler for ML [My Copy] by D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, P. Lee posted to intensional-types language-implementation ml types by tautologico on 2005-07-02 03:02:56 as
	Intensional Polymorphism in Type-Erasure Semantics [My Copy] by K. Crary, S. Weirich, G. Morrisett posted to intensional-types types by tautologico on 2005-07-02 02:53:08 as
	Compiling Polymorphism Using Intensional Type Analysis [My Copy] by R. Harper, G. Morrisett posted to intensional-types types by tautologico on 2005-07-02 02:50:29 as
	Typed Memory Management in a Calculus of Capabilities [My Copy] In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 262-275. by Karl Crary, David Walker, Greg Morrisett posted to memory-management regions by tautologico on 2005-03-26 00:44:49 as
	Alias Types for Recursive Data Structures [My Copy] Lecture Notes in Computer Science, Vol. 2071 (2001) by David Walker, Greg Morrisett posted to aliasing types by tautologico on 2005-03-26 00:38:55 as
	TALx86: A Realistic Typed Assembly Language [My Copy] (1999) by Greg Morrisett, Karl Crary, Neal Glew, et al.Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, Steve Zdancewic posted to typed-assembly-language by tautologico on 2005-03-26 00:38:46 as along with 1 person bfraser
	Alias Types [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000) by Frederick Smith, David Walker, Greg Morrisett posted to aliasing types by tautologico on 2005-03-26 00:38:09 as along with 1 person robennals
	From system F to typed assembly language [My Copy] ACM Trans. Program. Lang. Syst., Vol. 21, No. 3. (May 1999), pp. 527-568. by Greg Morrisett, David Walker, Karl Crary, Neal Glew posted to system-f typed-assembly-language types by tautologico on 2005-03-25 04:17:07 as along with 3 people pedagand eaubin cogumbreiro
	Typed memory management via static capabilities [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 22, No. 4. (2000), pp. 701-771. by David Walker, Karl Crary, Greg Morrisett posted to memory-management types by tautologico on 2005-03-24 18:42:10 as along with 1 person pnkfelix
	Formal type soundness for Cyclone's region system [My Copy] by D. Grossman, G. Morrisett, Y. Wang, T. Jim, M. Hicks, J. Cheney posted to cyclone memory-management regions by tautologico on 2005-03-24 06:19:13 as along with 1 person tomatoplan
	Region-Based Memory Management in Cyclone [My Copy] by Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney posted to cyclone memory-management regions by tautologico on 2005-03-24 06:18:24 as along with 4 people and 1 group MattOConnor salagnac tomatoplan krisn11 Verimag
	Abstract models of memory management [My Copy] In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 66-77. by Greg Morrisett, Matthias Felleisen, Robert Harper posted to garbage-collection by tautologico on 2005-03-19 03:53:29 as along with 2 people pnkfelix dsilva

Note: You may cite this page as: http://www.citeulike.org/user/tautologico/author/Morrisett:G

types	63
concurrency	51
functional	26
garbage-collection	25
reference-counting	25
memory-management	24
language-implementation	21
monads	21
regions	18
transactional	18
effects	16
type-theory	16
linearity	15
transactional-memory	13
haskell	11
linear-logic	11
ml	11
stm	11
lambda-calculus	10
dependent-types	7
linear-types	7
languages	6
lazy	6
logic	6
typed-assembly-language	6
cyclone	5
dynamic-types	5
logic-programming	5
pi-calculus	5
category-theory	4
intensional-types	4
lock-free	4
pcc	4
petri-nets	4
arrows	3
coinduction	3
continuations	3
java	3
jvm	3
partial-evaluation	3
prolog	3
aliasing	2
compilers	2
erlang	2
graphs	2
intersection-types	2
join-calculus	2
mobility	2
modules	2
multicore	2
object-calculus	2
oop	2
p2p	2
programming	2
region-inference	2
semantics	2
sml	2
type-inference	2
value-restriction	2
abstraction	1
adt	1
algebra	1
atomicity	1
c	1
ccs	1
cml	1
coalgebra	1
combinators	1
concurrent	1
constraint-programming	1
coordination-languages	1
data-structures	1
dotnet	1
dsl	1
existential-types	1
featherweight-java	1
floating-point	1
fold	1
formal-methods	1
fsharp	1
generational	1
grids	1
hindley-milner	1
laziness	1
linda	1
model-checking	1
multi-stage-programming	1
ocaml	1
parsing	1
pattern-matching	1
process-algebras	1
proof-theory	1
reactive	1
records	1
separation-logic	1
smt	1
substructural-logics	1
system-f	1
temporal-logic	1
topology	1
type-classes	1
views	1

tautologico's Morrisett:G [20 articles] Export

tautologico's tags