Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
  • Willard B and Frieder O. (2000). Autonomous garbage collection. Computer Communications. 23:10. (887-900). Online publication date: 1-May-2000.

    https://doi.org/10.1016/S0140-3664(00)00172-9

  • Elsman M. (2023). Garbage-Collection Safety for Region-Based Type-Polymorphic Programs. Proceedings of the ACM on Programming Languages. 7:PLDI. (221-243). Online publication date: 6-Jun-2023.

    https://doi.org/10.1145/3591229

  • ELSMAN M and HALLENBERG N. (2021). Integrating region memory management and tag-free generational garbage collection. Journal of Functional Programming. 10.1017/S0956796821000010. 31.

    https://www.cambridge.org/core/product/identifier/S0956796821000010/type/journal_article

  • Henry G, Mauny M, Chailloux E and Manoury P. (2012). Typing unmarshalling without marshalling types. ACM SIGPLAN Notices. 47:9. (287-298). Online publication date: 15-Oct-2012.

    https://doi.org/10.1145/2398856.2364569

  • Henry G, Mauny M, Chailloux E and Manoury P. Typing unmarshalling without marshalling types. Proceedings of the 17th ACM SIGPLAN international conference on Functional programming. (287-298).

    https://doi.org/10.1145/2364527.2364569

  • Torp-Smith N, Birkedal L and Reynolds J. (2008). Local reasoning about a copying garbage collector. ACM Transactions on Programming Languages and Systems. 30:4. (1-58). Online publication date: 1-Jul-2008.

    https://doi.org/10.1145/1377492.1377499

  • Tofte M, Birkedal L, Elsman M and Hallenberg N. (2004). A Retrospective on Region-Based Memory Management. Higher-Order and Symbolic Computation. 17:3. (245-265). Online publication date: 1-Sep-2004.

    https://doi.org/10.1023/B:LISP.0000029446.78563.a4

  • Tarditi D, Morrisett G, Cheng P, Stone C, Harper R and Lee P. (2004). TIL. ACM SIGPLAN Notices. 39:4. (554-567). Online publication date: 1-Apr-2004.

    https://doi.org/10.1145/989393.989449

  • Crary K and Weirich S. (1999). Flexible type analysis. ACM SIGPLAN Notices. 34:9. (233-248). Online publication date: 1-Sep-1999.

    https://doi.org/10.1145/317765.317906

  • Crary K and Weirich S. Flexible type analysis. Proceedings of the fourth ACM SIGPLAN international conference on Functional programming. (233-248).

    https://doi.org/10.1145/317636.317906

  • Dowd T, Somogyi Z, Henderson F, Conway T and Jeffery D. (1999). Run Time Type Information in Mercury. Principles and Practice of Declarative Programming. 10.1007/10704567_14. (224-243).

    http://link.springer.com/10.1007/10704567_14

  • Jay C, Bellè G and Moggi E. (1998). Functorial ML. Journal of Functional Programming. 8:6. (573-619). Online publication date: 1-Nov-1998.

    https://doi.org/10.1017/S0956796898003128

  • Agesen O, Detlefs D and Moss J. (1998). Garbage collection and local variable type-precision and liveness in Java virtual machines. ACM SIGPLAN Notices. 33:5. (269-279). Online publication date: 1-May-1998.

    https://doi.org/10.1145/277652.277738

  • Agesen O, Detlefs D and Moss J. Garbage collection and local variable type-precision and liveness in Java virtual machines. Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation. (269-279).

    https://doi.org/10.1145/277650.277738

  • Morrisett G, Walker D, Crary K and Glew N. From system F to typed assembly language. Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. (85-97).

    https://doi.org/10.1145/268946.268954

  • Hosoya H and Yonezawa A. (1998). Garbage collection via dynamic type inference - A formal treatment -. Types in Compilation. 10.1007/BFb0055520. (215-239).

    http://link.springer.com/10.1007/BFb0055520

  • Tarditi D, Morrisett G, Cheng P, Stone C, Harper R and Lee P. (1996). TIL. ACM SIGPLAN Notices. 31:5. (181-192). Online publication date: 1-May-1996.

    https://doi.org/10.1145/249069.231414

  • Tarditi D, Morrisett G, Cheng P, Stone C, Harper R and Lee P. TIL. Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation. (181-192).

    https://doi.org/10.1145/231379.231414

  • Morrisett G, Felleisen M and Harper R. Abstract models of memory management. Proceedings of the seventh international conference on Functional programming languages and computer architecture. (66-77).

    https://doi.org/10.1145/224164.224182

  • Tolmach A. (1994). Tag-free garbage collection using explicit type parameters. ACM SIGPLAN Lisp Pointers. VII:3. (1-11). Online publication date: 1-Jul-1994.

    https://doi.org/10.1145/182590.182411

  • Tolmach A. Tag-free garbage collection using explicit type parameters. Proceedings of the 1994 ACM conference on LISP and functional programming. (1-11).

    https://doi.org/10.1145/182409.182411