A. W. Appel, Compiling with continuations, 1992.
DOI : 10.1017/CBO9780511609619

A. W. Appel, J. R. Ellis, and K. Li, Real-time concurrent collection on stock multiprocessors, pp.11-23, 1988.
DOI : 10.1145/53990.53992
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.2417

A. W. Appel and K. Li, Virtual memory primitives for user programs, 1990.
DOI : 10.1145/106974.106984
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.2903

H. G. Baker, List processing in real time on a serial computer, Communications of the ACM, vol.21, issue.4, pp.280-294, 1978.
DOI : 10.1145/359460.359470

M. Ben-ari, Algorithms for on-the-fly garbage collection, ACM Transactions on Programming Languages and Systems, vol.6, issue.3, pp.333-344, 1984.
DOI : 10.1145/579.587

B. Berthomieu, Implementing CCS: the LCS experiment, LAAS, 1989.

H. J. Boehm, A. J. Demers, and S. Shenker, Mostly parallel garbage collection, ACM SIGPLAN Notices, vol.26, issue.6, pp.157-164, 1991.
DOI : 10.1145/113446.113459
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.4445

R. A. Brooks, Trading data space for reduced time and code space in real-time garbage collection on stock hardware, Proceedings of the 1984 ACM Symposium on LISP and functional programming , LFP '84, pp.256-262, 1984.
DOI : 10.1145/800055.802042

G. Cousineau, P. Curien, and M. Mauny, The categorical abstract machine, Science of Computer Programming, vol.8, issue.2, pp.173-202, 1987.
DOI : 10.1016/0167-6423(87)90020-7
URL : http://dx.doi.org/10.1016/0167-6423(87)90020-7

E. W. Dijkstra, L. Lamport, A. J. Martin, C. S. Sholten, and E. F. Steeens, On-the-fly garbage collection: an exercise in cooperation, Communications of the ACM, vol.21, issue.11, pp.966-975, 1978.
DOI : 10.1145/359642.359655

R. H. Halstead, Implementation of multilisp, Proceedings of the 1984 ACM Symposium on LISP and functional programming , LFP '84, pp.9-17, 1984.
DOI : 10.1145/800055.802017

T. Hickey and J. Cohen, Performance analysis of on-the-fly garbage collection, Communications of the ACM, vol.27, issue.11, pp.1143-1154, 1984.
DOI : 10.1145/1968.358298

H. T. Kung and S. W. Song, An eecient parallel garbage collection system and its correctness proof, In Foundations of Computer Science, pp.120-131, 1977.
DOI : 10.1109/sfcs.1977.5
URL : http://www.dtic.mil/get-tr-doc/pdf?AD=ADA046626

X. Leroy, The ZINC experiment: an economical implementation of the ML language, 1990.
URL : https://hal.archives-ouvertes.fr/inria-00070049

R. Milner, M. Tofte, and R. Harper, The deenition of Standard ML, 1990.

D. A. Moon, Garbage collection in a large LISP system, Proceedings of the 1984 ACM Symposium on LISP and functional programming , LFP '84, pp.235-246, 1984.
DOI : 10.1145/800055.802040
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.125.2438

J. G. Morriset and A. Tolmach, A portable multiprocessor interface for Standard ML of New Jersey, 1992.

S. C. North and J. H. Reppy, Concurrent garbage collection on stock hardware, Functional Programming Languages and Computer Architecture, pp.113-133, 1987.
DOI : 10.1007/3-540-18317-5_8

L. C. Paulson, ML for the working programmer, 1991.
DOI : 10.1017/CBO9780511811326

J. H. Reppy, CML: a higher-order concurrent language, SIGPLAN Notices, vol.26, issue.6, pp.294-305, 1991.

G. L. Steele-jr, Multiprocessing compactifying garbage collection, Communications of the ACM, vol.18, issue.9, pp.495-508, 1975.
DOI : 10.1145/361002.361005

D. Ungar, Generation scavenging: a non-disruptive high performance storage reclamation algorithm, Software Engineering Symposium on Practical Software Development Environments, pp.157-167, 1984.