Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming

Uniprocessor garbage collection techniques. In Memory Management , Yves Bekkers and Jacques Cohen (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 1–42

Original

Paul R. Wilson. 1992 · 1908

Earlier work this paper cites.

A Method for Overlapping and Erasure of Lists

George E. Collins. 1960 · 1960

Earlier work this paper cites.

Letters to the Editor: On the Reference Counter Method

J. Harold McBeth. 1963 · 1963

Earlier work this paper cites.

Shifting Garbage Collection Overhead to Compile Time

Jeffrey M. Barth. 1977 · 1977

Earlier work this paper cites.

SISAL: streams and iteration in a single-assignment language. Language reference manual, Version 1

James McGraw, Stephen Skedzielewski, Stephen Allan, D Grit, R Oldehoeft, J Glauert, I Dobes, and P Hohensee. 1983 · 1983

Earlier work this paper cites.

The Aggregate Update Problem in Functional Programming Systems. In Proceedings of the 12th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL ’85) . ACM, New York, NY, USA, 300–314

Paul Hudak and Adrienne Bloss. 1985 · 1985

Earlier work this paper cites.

The Calculus of Constructions

Thierry Coquand and Gérard Huet. 1988 · 1988

Earlier work this paper cites.

Inductively Defined Types

Thierry Coquand and Christine Paulin. 1990 · 1988

Earlier work this paper cites.

The Essence of Compiling with Continuations. In Proceedings of the ACM SIGPLAN 1993 Conference on Programming Language Design and Implementation (PLDI ’93) . ACM, New York, NY, USA, 237–247

Cormac Flanagan, Amr Sabry, Bruce F. Duba, and Matthias Felleisen. 1993 · 1993

Earlier work this paper cites.

Minimizing Reference Count Updating with Deferred and Anchored Pointers for Functional Data Structures

Henry G. Baker. 1994 · 1994

Earlier work this paper cites.

Single Assignment C - Functional Programming Using Imperative Style. In In John Glauert (Ed.): Proceedings of the 6th International Workshop on the Implementation of Functional Languages. University of East Anglia

Sven-Bodo Scholz. 1994 · 1994

Cited alongside, same era.

Deriving Residual Reference Count Garbage Collectors. In Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP ’94) . Springer-Verlag, London, UK, 102–116

Wolfram Schulte. 1994 · 1994

Cited alongside, same era.

Garbage Collection: Algorithms for Automatic Dynamic Memory Management

Richard Jones and Rafael D Lins. 1996 · 1996

Cited alongside, same era.

Combining Region Inference and Garbage Collection. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’02) . ACM Press

Niels Hallenberg, Martin Elsman, and Mads Tofte. 2002 · 2002

Cited alongside, same era.

The Rust Language. In Proceedings of the 2014 ACM SIGAda Annual Conference on High Integrity Language Technology (HILT ’14) . ACM, New York, NY, USA, 103–104

Nicholas D. Matsakis and Felix S. Klock, II. 2014 · 2014

Later among the works it cites.

The Lean Theorem Prover (System Description). In Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, 2015, Proceedings . 378–388

Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, and Jakob von Raumer. 2015 · 2015

Later among the works it cites.

Besser Benchmarken

Johannes Bechberger. 2016 · 2016

Later among the works it cites.

Code Generation Using a Formal Model of Reference Counting. In Proceedings of the 8th International Symposium on NASA Formal Methods - Volume 9690 (NFM 2016) . Springer-Verlag New York, Inc., New York, NY, USA, 150–165

Gaspard Férey and Natarajan Shankar. 2016 · 2016

Later among the works it cites.

A Metaprogramming Framework for Formal Verification

Gabriel Ebner, Sebastian Ullrich, Jared Roesch, Jeremy Avigad, and Leonardo de Moura. 2017 · 2017