tautologico's Crary:K [9 articles] Export Sort

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

Hide details

	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
	Toward a foundational typed assembly language [My Copy] (2002) by K. Crary posted to typed-assembly-language by tautologico on 2005-08-01 03:51:49 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 types by tautologico on 2005-08-01 03:41:30 as
	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
	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
	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
	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
	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

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

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

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
ml	11
stm	11
haskell	11
linear-logic	11
lambda-calculus	10
linear-types	7
dependent-types	7
typed-assembly-language	6
logic	6
lazy	6
languages	6
logic-programming	5
cyclone	5
pi-calculus	5
dynamic-types	5
petri-nets	4
lock-free	4
intensional-types	4
category-theory	4
pcc	4
prolog	3
partial-evaluation	3
continuations	3
jvm	3
java	3
coinduction	3
arrows	3
value-restriction	2
join-calculus	2
object-calculus	2
aliasing	2
semantics	2
type-inference	2
region-inference	2
oop	2
graphs	2
programming	2
compilers	2
sml	2
intersection-types	2
mobility	2
multicore	2
erlang	2
modules	2
p2p	2
cml	1
combinators	1
parsing	1
proof-theory	1
multi-stage-programming	1
dotnet	1
process-algebras	1
hindley-milner	1
data-structures	1
algebra	1
c	1
ocaml	1
laziness	1
temporal-logic	1
adt	1
floating-point	1
atomicity	1
generational	1
substructural-logics	1
reactive	1
ccs	1
dsl	1
topology	1
coalgebra	1
records	1
type-classes	1
existential-types	1
separation-logic	1
fsharp	1
system-f	1
pattern-matching	1
views	1
constraint-programming	1
grids	1
linda	1
coordination-languages	1
fold	1
featherweight-java	1
abstraction	1
concurrent	1
formal-methods	1
model-checking	1
smt	1

tautologico's Crary:K [9 articles] Export Sort

tautologico's tags