Registrer deg | Logg på | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

pnkfelix' library [41 articles]

Nye artikler sendt til pnkfelix' bibliotek.
  • Typed memory management via static capabilities
    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
    Annals of Pure and Applied Logic, Vol. 98, No. 1-3. (1999), pp. 111-156.
    by JB 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
    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 read along with 3 people and 1 group dherman amorkan lyongu NU-PRL
  • Second-order unification and type inference for Church-style polymorphism
    (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 read
  • Methods and Models for Management of Distributed and Persistent Data
    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
    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
    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
    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
    (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
    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
    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!
    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
    (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 ****
  • Type inference with simple selftypes is NP-complete
    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
    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 **
  • Formal Type Soundness for Cyclone's Region System
    (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
    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
    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
    (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
    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
    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
    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
    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
    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
    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
    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
    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
    (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
    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
    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
  • notes What are principal typings and what are they good for?
    (1996), pp. 42-53.
    by Trevor Jim
    posted to intersection-types ml principal-typings by pnkfelix on 2005-03-17 22:48:45 as read along with 2 people JeffreyPalmer tautologico
  • notes Design of the programming language FORSYTHE
    (1997), pp. 173-233.
    by John C Reynolds
    posted to algol-family intersection-types by pnkfelix on 2005-03-17 22:47:09 as read
  • notes Intersection types and computational effects
    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 read along with 1 person tautologico
  • Abstract models of memory management
    (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 read along with 2 people tautologico dsilva
  • Revised$^5$ Report on the Algorithmic Language Scheme
    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 read along with 6 people and 1 group samth dherman alec tov dfisher d23 NU-PRL
  • Proper tail recursion and space efficiency
    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 read 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
    (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 6 people and 1 group samth dherman eaubin JeffreyPalmer ryanc tov NU-PRL
  • notes Lambda Calculi with Types
    Vol. 2 (1992)
    by Henk Barendregt
    posted to lambda-calculus by pnkfelix on 2004-12-14 00:20:43 along with 8 people and 1 group tautologico xiemaisi Benja glaubersp ds mmarcus jimburton d23 AS-IIS_ReadingGroup
  • notes Polymorphic effect systems
    (1988), pp. 47-57.
    by JM Lucassen, DK Gifford
    posted to effects by pnkfelix on 2004-12-14 00:13:57 along with 5 people and 1 group assnoodles samth twleung tautologico bfraser NU-PRL
  • notes The structure and interpretation of the computer science curriculum
    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
    (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
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/user/pnkfelix

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.