tautologico's regions [18 articles] Export

Recent papers added to tautologico's library classified by the tag regions. You can also see everyone's regions.

	A brief introduction to regions [My Copy] SIGPLAN Not., Vol. 34, No. 3. (March 1999), pp. 186-195. by Mads Tofte posted to regions by tautologico on 2006-05-19 22:05:47 as
	Dynamic region inference [My Copy] (2002) by D. Pereira, J. Aycock posted to region-inference regions by tautologico on 2006-05-18 03:56:29 as
	A region inference algorithm [My Copy] ACM Trans. Program. Lang. Syst., Vol. 20, No. 4. (July 1998), pp. 724-767. by Mads Tofte, Lars Birkedal posted to regions by tautologico on 2005-10-18 17:28:52 as along with 1 person rwtodd
	Polymorphic Type Region and Effect Inference [My Copy] No. EMP-CRI E/150. (1991) by Jean P. Talpin, Pierre Jouvelot posted to effects regions types by tautologico on 2005-10-09 04:31:14 as along with 2 people bdauvergne glaubersp
	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
	Memory Management with Use-Counted Regions [My Copy] by Tachio Terauchi, Alex Aiken posted to memory-management regions by tautologico on 2005-07-15 21:15:00 as along with 1 person and 1 group salagnac Verimag
	The Type and Effect Discipline [My Copy] In Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California (1992), pp. 162-173. by Jean P. Talpin, Pierre Jouvelot posted to effects regions types by tautologico on 2005-06-26 16:41:42 as along with 1 person bdauvergne
	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
	A constraint-based region inference algorithm [My Copy] Theoretical Computer Science, Vol. 258, No. 1--2. (2001), pp. 299-392. by Lars Birkedal, Mads Tofte posted to memory-management regions types by tautologico on 2005-03-25 06:34:09 as
	Region Inference for an Object-Oriented Language [My Copy] by Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin Rinard posted to memory-management oop regions by tautologico on 2005-03-24 06:25:01 as along with 2 people and 1 group salagnac tomatoplan Verimag
	On Regions and Linear Types [My Copy] In International Conference on Functional Programming (2001), pp. 181-192. by David Walker, Kevin Watkins posted to linear-types linearity memory-management regions by tautologico on 2005-03-24 06:23:44 as along with 1 person tomatoplan
	Reconsidering custom memory allocation [My Copy] (2002) by E. Berger, B. Zorn, K. Mckinley posted to memory-management regions by tautologico on 2005-03-24 06:21:20 as
	Language Support for Regions [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (2001), pp. 70-80. by David Gay, Alexander Aiken posted to memory-management regions by tautologico on 2005-03-24 06:20:39 as along with 3 people and 2 groups dfsweeney jolilius salagnac TUCS-ES_Lab Verimag
	Memory Management with Explicit Regions [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1998), pp. 313-323. by David Gay, Alexander Aiken posted to memory-management regions by tautologico on 2005-03-24 06:20:18 as along with 4 people and 1 group dfsweeney salagnac tmiya neilc Verimag
	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
	Region-Based Memory Management [My Copy] Information and Computation (1997) by Mads Tofte, Jean-Pierre Talpin posted to memory-management regions by tautologico on 2005-03-24 06:17:51 as along with 7 people and 2 groups dfsweeney jolilius salagnac tomatoplan tmiya glaubersp harshrc TUCS-ES_Lab Verimag

Note: You may cite this page as: http://www.citeulike.org/user/tautologico/tag/regions

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 regions [18 articles] Export

tautologico's tags