pnkfelix's library 43 articles Export

	Alchemy: transmuting base alloy specifications into implementations [My Copy] In SIGSOFT '08/FSE-16: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering (2008), pp. 158-169. by Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo posted to alloy modeling specification by pnkfelix on 2009-05-21 20:10:44 as
	A Generalized Algorithm for Graph-Coloring Register Allocation(Abstract) [My Copy] posted to register-allocation by pnkfelix on 2009-03-03 23:43:33 as
	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 regions by pnkfelix on 2005-11-10 16:57:14 as along with 1 person tautologico
	Typability and Type Checking in System F are Equivalent and Undecidable [My Copy] Annals of Pure and Applied Logic, Vol. 98, No. 1-3. (1999), pp. 111-156. by J. B. Wells posted to church-versus-curry lambda-calculus system-f type-inference by pnkfelix on 2005-05-04 19:29:02 as
	Subtyping Recursive Types [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 15, No. 4. (September 1993), pp. 575-631. by Roberto M. Amadio, Luca Cardelli posted to lambda-calculus recursive-types subtyping type-soundness by pnkfelix on 2005-05-04 19:27:29 as along with 3 people and 1 group dherman amorkan lyongu NU-PRL
	Second-order unification and type inference for Church-style polymorphism [My Copy] In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 279-288. by Aleksy Schubert posted to church-versus-curry lambda-calculus system-f type-inference by pnkfelix on 2005-05-04 17:49:39 as
	Methods and Models for Management of Distributed and Persistent Data [My Copy] by Michael J. Feeley posted to file-systems garbage-collection generational-garbage-collection memory-management object-databases by pnkfelix on 2005-05-03 12:23:59 as along with 1 person ksclarke
	A Highly Effective Partition Selection Policy for Object Database Garbage Collection [My Copy] IEEE Transactions on Knowledge and Data Engineering, Vol. 10, No. 1. (January 1998), pp. 153-172. by Jonathan E. Cook, Alexander L. Wolf, Benjamin G. Zorn posted to garbage-collection generational-garbage-collection memory-management object-databases by pnkfelix on 2005-05-03 12:20:41 as
	Partition selection policies in object database garbage collection [My Copy] In SIGMOD '94: Proceedings of the 1994 ACM SIGMOD international conference on Management of data, Vol. 23, No. 2. (June 1994), pp. 371-382. by Jonathan E. Cook, Alexander L. Wolf, Benjamin G. Zorn posted to garbage-collection generational-garbage-collection memory-management object-databases by pnkfelix on 2005-05-03 12:19:37 as
	Using key object opportunism to collect old objects [My Copy] In OOPSLA '91: Conference proceedings on Object-oriented programming systems, languages, and applications, Vol. 26, No. 11. (November 1991), pp. 33-46. by Barry Hayes posted to garbage-collection generational-garbage-collection memory-management by pnkfelix on 2005-05-03 12:18:01 as
	Semantics of memory management for polymorphic languages [My Copy] (1998), pp. 175-226. by G. Morrisett, R. Harper posted to memory-management by pnkfelix on 2005-05-03 12:17:03 as
	Partitioned garbage collection of a large object store [My Copy] In SIGMOD '97: Proceedings of the 1997 ACM SIGMOD international conference on Management of data, Vol. 26, No. 2. (June 1997), pp. 313-323. by Umesh Maheshwari, Barbara Liskov posted to garbage-collection memory-management by pnkfelix on 2005-05-03 12:15:53 as
	Concurrent compacting garbage collection of a persistent heap [My Copy] SIGOPS Oper. Syst. Rev., Vol. 27, No. 5. (December 1993), pp. 161-174. by James O'Toole, Scott Nettles, David Gifford posted to garbage-collection memory-management by pnkfelix on 2005-05-03 12:15:02 as
	Typing Untyped Lambda-Terms, or Reducibility Strikes Again! [My Copy] by Jean Gallier posted to intersection-types reducibility by pnkfelix on 2005-05-03 12:12:18 as
	Combining generational and conservative garbage collection: framework and implementations [My Copy] In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 261-269. by Alan Demmers, Mark Weiser, Barry Hayes, Hans Boehm, Daniel Bobrow, Scott Shenker posted to garbage-collection memory-management by pnkfelix on 2005-04-29 22:47:12 as along with 1 person ReiOdaira
	Type inference with simple selftypes is NP-complete [My Copy] Nordic J. of Computing, Vol. 4, No. 3. (1997), pp. 259-286. by Jens Palsberg, Trevor Jim posted to complexity oop type-inference by pnkfelix on 2005-04-19 23:03:25 as
	On bounding time and space for multiprocessor garbage collection [My Copy] In PLDI '99: Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, Vol. 34, No. 5. (May 1999), pp. 104-117. by Guy E. Blelloch, Perry Cheng posted to garbage-collection memory-management real-time by pnkfelix on 2005-04-14 20:37:33 as along with 1 person ReiOdaira
	Formal Type Soundness for Cyclone's Region System [My Copy] (November 2001) by Dan Grossman, Greg Morrisett, Trevor Jim, Mike Hicks, Yanling Wang, James Cheney posted to effects memory-management regions by pnkfelix on 2005-04-07 18:10:17 as
	Static prediction of heap space usage for first-order functional programs [My Copy] In POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 38, No. 1. (January 2003), pp. 185-197. by Martin Hofmann, Steffen Jost posted to memory-management by pnkfelix on 2005-04-07 18:06:43 as
	A type system for bounded space and functional in-place update [My Copy] Nordic J. of Computing, Vol. 7, No. 4. (2000), pp. 258-289. by Martin Hofmann posted to memory-management by pnkfelix on 2005-04-07 18:06:04 as
	A direct approach to control-flow sensitive region-based memory management [My Copy] In PPDP '01: Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (2001), pp. 175-186. by Fritz Henglein, Henning Makholm, Henning Niss posted to memory-management regions by pnkfelix on 2005-04-07 18:05:00 as
	Combining region inference and garbage collection [My Copy] In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 141-152. by Niels Hallenberg, Martin Elsman, Mads Tofte posted to garbage-collection memory-management regions by pnkfelix on 2005-04-07 18:04:25 as along with 2 people and 1 group salagnac RalfMitschke Verimag
	Region-based memory management in cyclone [My Copy] In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 282-293. by Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney posted to memory-management regions by pnkfelix on 2005-04-07 18:03:45 as along with 2 people ecronin RalfMitschke
	Language support for regions [My Copy] In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, Vol. 36, No. 5. (May 2001), pp. 70-80. by David Gay, Alex Aiken posted to memory-management regions by pnkfelix on 2005-04-07 18:03:12 as along with 1 person and 1 group salagnac Verimag
	Memory management with explicit regions [My Copy] In PLDI '98: Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, Vol. 33, No. 5. (May 1998), pp. 313-323. by David Gay, Alex Aiken posted to memory-management regions by pnkfelix on 2005-04-07 18:02:30 as
	Garbage collection safety for region-based memory management [My Copy] In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation, Vol. 38, No. 3. (March 2003), pp. 123-134. by Martin Elsman posted to garbage-collection memory-management regions by pnkfelix on 2005-04-07 18:01:52 as
	Syntactic type soundness results for the region calculus [My Copy] Inf. Comput., Vol. 173, No. 2. (March 2002), pp. 199-221. by Christiano Calcagno, Simon Helsen, Peter Thiermann posted to regions type-soundness by pnkfelix on 2005-04-07 18:00:36 as
	Stratified operational semantics for safety and correctness of the region calculus [My Copy] In POPL '01: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 36, No. 3. (March 2001), pp. 155-165. by Cristiano Calcagno posted to regions semantics by pnkfelix on 2005-04-07 17:59:08 as
	Ownership types for safe region-based memory management in real-time Java [My Copy] In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, Vol. 38, No. 5. (May 2003), pp. 324-337. by Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Martin Rinard posted to memory-management real-time regions by pnkfelix on 2005-04-07 17:58:32 as along with 2 people and 2 groups salagnac kiniry Verimag SRG_at_UCD
	Region Analysis and the Polymorphic Lambda Calculus [My Copy] In LICS '99: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (1999) by Anindya Banerjee, Nevin Heintze, Jon G. Riecke posted to regions by pnkfelix on 2005-04-07 17:57:55 as
	Better static memory management: improving region-based analysis of higher-order languages [My Copy] In PLDI '95: Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, Vol. 30, No. 6. (June 1995), pp. 174-185. by Alexander Aiken, Manuel F&\#228;hndrich, Raph Levien posted to memory-management regions by pnkfelix on 2005-04-07 17:01:30 as
	Macros that Reach Out and Touch Somewhere [My Copy] by Unpublished I. Report posted to macros by pnkfelix on 2005-03-24 22:23:40 as along with 4 people and 1 group dherman JeffreyPalmer mbravenboer ryanc NU-PRL
	What are principal typings and what are they good for? [My Copy] In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 42-53. by Trevor Jim posted to intersection-types ml principal-typings by pnkfelix on 2005-03-17 22:48:45 as along with 2 people and 1 group JeffreyPalmer tautologico ConcertRG
	Design of the programming language FORSYTHE [My Copy] (1997), pp. 173-233. by John C. Reynolds posted to algol-family intersection-types by pnkfelix on 2005-03-17 22:47:09 as along with 1 person and 1 group robertjohnsimmons ConcertRG
	Intersection types and computational effects [My Copy] In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, Vol. 35, No. 9. (September 2000), pp. 198-208. by Rowan Davies, Frank Pfenning posted to effects intersection-types by pnkfelix on 2005-03-17 22:45:40 as along with 1 person tautologico
	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 semantics by pnkfelix on 2005-02-24 19:38:37 as along with 2 people tautologico dsilva
	Revised$^5$ Report on the Algorithmic Language Scheme [My Copy] ACM SIGPLAN Notices, Vol. 33, No. 9. (1998), pp. 26-76. by Richard Kelsey, William Clinger, Jonathan R. (editors) posted to scheme semantics by pnkfelix on 2005-02-15 21:15:06 as along with 8 people and 1 group mattmight higepon samth dherman alec tov dfisher d23 NU-PRL
	Proper tail recursion and space efficiency [My Copy] In Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, Vol. 33, No. 5. (May 1998), pp. 174-185. by William D. Clinger posted to scheme semantics by pnkfelix on 2005-02-15 21:13:25 as along with 8 people and 1 group egh samth marcoil JeffreyPalmer dsilva ryanc ajk tov NU-PRL
	Lambda, the ultimate label or a simple optimizing compiler for Scheme [My Copy] In Proceedings of the 1994 ACM conference on LISP and functional programming (1994), pp. 128-139. by William D. Clinger, Lars T. Hansen posted to compiler scheme by pnkfelix on 2004-12-14 00:21:37 along with 7 people and 1 group dimvar samth dherman eaubin JeffreyPalmer ryanc tov NU-PRL
	Lambda Calculi with Types [My Copy] In Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), Abramsky \& Gabbay \& Maibaum (Eds.), Clarendon, Vol. 2 (1992) by Henk Barendregt posted to lambda-calculus by pnkfelix on 2004-12-14 00:20:43 along with 9 people and 1 group darinm tautologico xiemaisi Benja glaubersp ds mmarcus jimburton d23 AS-IIS_ReadingGroup
	Polymorphic effect systems [My Copy] In POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1988), pp. 47-57. by J. M. Lucassen, D. K. Gifford posted to effects by pnkfelix on 2004-12-14 00:13:57 along with 6 people and 1 group ama08r assnoodles samth twleung tautologico bfraser NU-PRL
	The structure and interpretation of the computer science curriculum [My Copy] J. Funct. Program., Vol. 14, No. 4. (July 2004), pp. 365-378. by Matthias Felleisen, Robert B. Findler, Matthew Flatt, Shriram Krishnamurthi posted to education scheme by pnkfelix on 2004-12-14 00:09:14 along with 1 person and 1 group samth NU-PRL
	Composable and compilable macros: You want it when [My Copy] (2002) by M. Flatt posted to macros modules scheme staging by pnkfelix on 2004-12-14 00:04:29 along with 10 people and 1 group sourada assnoodles samth dherman ryanc tov jkominek c_m_h cdiggins dfisher NU-PRL

Note: You may cite this page as: http://www.citeulike.org/user/pnkfelix

memory-management	21
regions	13
garbage-collection	11
scheme	5
generational-garbage-collection	4
intersection-types	4
lambda-calculus	4
semantics	4
type-inference	3
effects	3
object-databases	3
church-versus-curry	2
type-soundness	2
macros	2
system-f	2
real-time	2
complexity	1
ml	1
alloy	1
file-systems	1
recursive-types	1
subtyping	1
register-allocation	1
modules	1
specification	1
compiler	1
oop	1
reducibility	1
principal-typings	1
algol-family	1
education	1
staging	1
modeling	1

pnkfelix's library 43 articles Export

pnkfelix's tags