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.
ELSMAN M and HALLENBERG N.
(2021). Integrating region memory management and tag-free generational garbage collection. Journal of Functional Programming. 10.1017/S0956796821000010. 31.
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.
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).
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.
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.
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).
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.
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).
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).
Hosoya H and Yonezawa A.
(1998). Garbage collection via dynamic type inference - A formal treatment -. Types in Compilation. 10.1007/BFb0055520. (215-239).
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).
Tolmach A. Tag-free garbage collection using explicit type parameters. Proceedings of the 1994 ACM conference on LISP and functional programming. (1-11).