Philip Wadler

According to our database, Philip Wadler authored at least 141 papers between 1976 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Introduction to Computation - Haskell, Logic and Automata

Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler

Undergraduate Topics in Computer Science, Springer, ISBN: 978-3-030-76907-9, 2021

Preface - 22nd Brazilian Symposium on Formal Methods - SBMF 2019.

Adolfo Duran, Philip Wadler

Sci. Comput. Program., 2021

Blame and coercion: Together again for the first time.

Jeremy G. Siek, Peter Thiemann, Philip Wadler

J. Funct. Program., 2021

GATE: Gradual Effect Types.

Philip Wadler

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

2020

Programming language foundations in Agda.

Wen Kokke, Jeremy G. Siek, Philip Wadler

Sci. Comput. Program., 2020

Featherweight go.

Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida

Proc. ACM Program. Lang., 2020

Towards Races in Linear Logic.

Wen Kokke, J. Garrett Morris, Philip Wadler

Log. Methods Comput. Sci., 2020

Leibniz equality is isomorphic to Martin-Löf identity, parametrically.

Andreas Abel, Jesper Cockx, Dominique Devriese, Amin Timany, Philip Wadler

J. Funct. Program., 2020

Unifying graded and parameterised monads.

Dominic Orchard, Philip Wadler, Harley Eades III

Proceedings of the Proceedings Eighth Workshop on Mathematically Structured Functional Programming, 2020

UTXO_{sf ma}: UTXO with Multi-asset Support.

Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Native Custom Tokens in the Extended UTXO Model.

Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

The Extended UTXO Model.

Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler

Proceedings of the Financial Cryptography and Data Security, 2020

2019

COCHIS: Stable and coherent implicits.

Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler, Koar Marntirosian

J. Funct. Program., 2019

Gradual session types.

Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler

J. Funct. Program., 2019

Unraveling Recursion: Compiling an IR with Recursion to System F.

Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

System F in Agda, for Fun and Profit.

James Chapman, Roman Kireev, Chad Nester, Philip Wadler

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

2018

The root cause of blame: contracts for intersection and union types.

Jack Williams, J. Garrett Morris, Philip Wadler

Proc. ACM Program. Lang., 2018

Refinement reflection: complete verification with SMT.

Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala

Proc. ACM Program. Lang., 2018

Programming Language Foundations in Agda.

Philip Wadler

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

2017

Gradual session types.

Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler

Proc. ACM Program. Lang., 2017

Theorems for free for free: parametricity, with and without types.

Amal Ahmed, Dustin Jamner, Jeremy G. Siek, Philip Wadler

Proc. ACM Program. Lang., 2017

Abstract Data Types without the Types.Dedicated to David Turner on the occasion of his 70'th birthday.

Philip Wadler

J. Univers. Comput. Sci., 2017

Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact).

Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski

Dagstuhl Artifacts Ser., 2017

Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051).

Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida

Dagstuhl Reports, 2017

Quantified class constraints.

Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

Mixed Messages: Measuring Conformance and Non-Interference in TypeScript.

Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

Mixing Metaphors: Actors as Channels and Channels as Actors.

Simon Fowler, Sam Lindley, Philip Wadler

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Embedding by Normalisation.

Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler

CoRR, 2016

Technical Perspective: Why didn't I think of that?

Philip Wadler

Commun. ACM, 2016

Everything old is new again: quoted domain-specific languages.

Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016

Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types.

Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler

Proceedings of the 27th International Conference on Concurrency Theory, 2016

Usability of Programming Languages: Special Interest Group (SIG) Meeting at CHI 2016.

Brad A. Myers, Andreas Stefik, Stefan Hanenberg, Antti-Juhani Kaijanaho, Margaret M. Burnett, Franklyn A. Turbak, Philip Wadler

Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, 2016

2015

Propositions as types.

Philip Wadler

Commun. ACM, 2015

A Complement to Blame.

Philip Wadler

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

2014

Practices of PLDI.

Hans-Juergen Boehm, Jack W. Davidson, Kathleen Fisher, Cormac Flanagan, Jeremy Gibbons, Mary W. Hall, Graham Hutton, David A. Padua, Frank Tip, Jan Vitek, Philip Wadler

ACM SIGPLAN Notices, 2014

Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6).

Atsushi Igarashi, Peter Thiemann, Philip Wadler

NII Shonan Meet. Rep., 2014

Propositions as sessions.

Philip Wadler

J. Funct. Program., 2014

Query shredding: Efficient relational evaluation of queries over nested multisets (extended version).

James Cheney, Sam Lindley, Philip Wadler

CoRR, 2014

Query shredding: efficient relational evaluation of queries over nested multisets.

James Cheney, Sam Lindley, Philip Wadler

Proceedings of the International Conference on Management of Data, 2014

Effective quotation: relating approaches to language-integrated query.

James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

You and Your Research and the Elements of Style.

Philip Wadler

Proceedings of the 2014 Imperial College Computing Student Workshop, 2014

Typecasting actors: from Akka to TAkka.

Jiansen He, Philip Wadler, Philip W. Trinder

Proceedings of the Fifth Annual Scala Workshop, 2014

2013

Principles of POPL.

Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler

ACM SIGPLAN Notices, 2013

Effective Quotation.

James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler

CoRR, 2013

A practical theory of language-integrated query.

James Cheney, Sam Lindley, Philip Wadler

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012

SIGPLAN chair's report.

Philip Wadler

ACM SIGPLAN Notices, 2012

2011

Blame for all.

Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

2010

The arrow calculus.

Sam Lindley, Philip Wadler, Jeremy Yallop

J. Funct. Program., 2010

Threesomes, with and without blame.

Jeremy G. Siek, Philip Wadler

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

The Audacity of Hope: Thoughts on Reclaiming the Database Dream.

Sam Lindley, Philip Wadler

Proceedings of the Programming Languages and Systems, 2010

2009

Monadic constraint programming.

Tom Schrijvers, Peter J. Stuckey, Philip Wadler

J. Funct. Program., 2009

The RPC calculus.

Ezra Cooper, Philip Wadler

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Well-Typed Programs Can't Be Blamed.

Philip Wadler, Robert Bruce Findler

Proceedings of the Programming Languages and Systems, 2009

Blame for all.

Amal Ahmed, Robert Bruce Findler, Jacob Matthews, Philip Wadler

Proceedings of the Proceedings for the 1st workshop on Script to Program Evolution, 2009

2008

Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous.

Sam Lindley, Philip Wadler, Jeremy Yallop

Proceedings of the Second Workshop on Mathematically Structured Functional Programming, 2008

The Essence of Form Abstraction.

Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

The Girard-Reynolds isomorphism (second edition).

Philip Wadler

Theor. Comput. Sci., 2007

Preface.

Olivier Danvy, Peter W. O'Hearn, Philip Wadler

Theor. Comput. Sci., 2007

A history of Haskell: being lazy with class.

Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler

Proceedings of the Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III), 2007

Comprehensive comprehensions.

Simon L. Peyton Jones, Philip Wadler

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007

07051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web Services.

Richard Hull, Peter Thiemann, Philip Wadler

Proceedings of the Programming Paradigms for the Web: Web Programming and Web Services, 28.01., 2007

07051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services.

Richard Hull, Peter Thiemann, Philip Wadler

Proceedings of the Programming Paradigms for the Web: Web Programming and Web Services, 28.01., 2007

07051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services.

Richard Hull, Peter Thiemann, Philip Wadler

Proceedings of the Programming Paradigms for the Web: Web Programming and Web Services, 28.01., 2007

2006

Faith, evolution, and programming languages: from Haskell to Java to links.

Philip Wadler

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Links: Web Programming Without Tiers.

Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Java generics and collections.

Maurice Naftalin, Philip Wadler

O'Reilly, ISBN: 978-0-596-52775-4, 2006

2005

Call-by-Value Is Dual to Call-by-Name - Reloaded.

Philip Wadler

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005

2003

The marriage of effects and monads.

Philip Wadler, Peter Thiemann

ACM Trans. Comput. Log., 2003

The Educational Pearls column.

Simon L. Peyton Jones, Philip Wadler

J. Funct. Program., 2003

The Girard-Reynolds isomorphism.

Philip Wadler

Inf. Comput., 2003

The essence of XML.

Jérôme Siméon, Philip Wadler

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

Call-by-value is dual to call-by-name.

Philip Wadler

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002

MSL: a model for W3C XML Schema.

Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler

Comput. Networks, 2002

The Essence of XML (Preliminary Version).

Jérôme Siméon, Philip Wadler

Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

XQuery: A Typed Functional Language for Querying XML.

Philip Wadler

Proceedings of the Advanced Functional Programming, 2002

2001

Featherweight Java: a minimal core calculus for Java and GJ.

Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler

ACM Trans. Program. Lang. Syst., 2001

Et tu, XML? The downfall of the relational empire (abstract).

Philip Wadler

Proceedings of the VLDB 2001, 2001

A Semi-monad for Semi-structured Data.

Mary F. Fernández, Jérôme Siméon, Philip Wadler

Proceedings of the Database Theory, 2001

2000

A Formal Semantics of Patterns in XSLT and XPath.

Philip Wadler

Markup Lang., 2000

An Algebra for XML Query.

Mary F. Fernández, Jérôme Siméon, Philip Wadler

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

1999

Operational Interpretations of Linear Logic.

David N. Turner, Philip Wadler

Theor. Comput. Sci., 1999

Featherwieght Java: A Minimal Core Calculus for Java and GJ.

Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler

Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

How Enterprises Use Functional Languages, and Why They Don't.

Philip Wadler

Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1998

Why No One Uses Functional Languages.

Philip Wadler

ACM SIGPLAN Notices, 1998

An Angry Half-Dozen.

Philip Wadler

ACM SIGPLAN Notices, 1998

The Call-by-Need Lambda Calculus.

John Maraist, Martin Odersky, Philip Wadler

J. Funct. Program., 1998

Making the Future Safe for the Past: Adding Genericity to the Java Programming Language.

Gilad Bracha, Martin Odersky, David Stoutamire, Philip Wadler

Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

How to solve the reuse problem? Functional programming.

Philip Wadler

Proceedings of the Fifth International Conference on Software Reuse, 1998

Leftover curry and reheated Pizza: how functional programming nourishes software reuse.

Martin Odersky, Philip Wadler

Proceedings of the Fifth International Conference on Software Reuse, 1998

The Marriage of Effects and Monads.

Philip Wadler

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

A Statically Safe Alternative to Virtual Types.

Kim B. Bruce, Martin Odersky, Philip Wadler

Proceedings of the ECOOP'98, 1998

Two Ways to Bake Your Pizza - Translating Parameterised Types into Java.

Martin Odersky, Enno Runne, Philip Wadler

Proceedings of the Generic Programming, 1998

1997

A Reflection on Call-by-Value.

Amr Sabry, Philip Wadler

ACM Trans. Program. Lang. Syst., 1997

How to Declare an Imperative.

Philip Wadler

ACM Comput. Surv., 1997

Pizza into Java: Translating Theory into Practice.

Martin Odersky, Philip Wadler

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

A Practical Subtyping System For Erlang.

Simon Marlow, Philip Wadler

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

Functional Programming: An Angry Half-Dozen.

Philip Wadler

Proceedings of the Database Programming Languages, 6th International Workshop, 1997

1996

Type Classes in Haskell.

Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler

ACM Trans. Program. Lang. Syst., 1996

Lazy Versus Strict.

Philip Wadler

ACM Comput. Surv., 1996

Linear Logic, Monads and the Lambda Calculus.

P. N. Benton, Philip Wadler

Proceedings of the Proceedings, 1996

1995

Call-by-name, call-by-value, call-by-need and the linear lambda calculus.

John Maraist, Martin Odersky, David N. Turner, Philip Wadler

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

The Call-by-Need Lambda Calculus.

Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract)

Philip Wadler

Proceedings of the Memory Management, 1995

Once Upon a Type.

David N. Turner, Philip Wadler, Christian Mossin

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

A Second Look at Overloading.

Martin Odersky, Philip Wadler, Martin Wehr

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

1994

Monads and Composable Continuations.

Philip Wadler

LISP Symb. Comput., 1994

1993

Functional Programming in Education - Introduction.

Simon J. Thompson, Philip Wadler

J. Funct. Program., 1993

Imperative Functional Programming.

Simon L. Peyton Jones, Philip Wadler

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

A Syntax for Linear Logic.

Philip Wadler

Proceedings of the Mathematical Foundations of Programming Semantics, 1993

A Taste of Linear Logic.

Philip Wadler

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1992

Report on the Programming Language Haskell, A Non-strict, Purely Functional Language.

Paul Hudak, Simon L. Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph H. Fasel, María M. Guzmán, Kevin Hammond, John Hughes, Thomas Johnsson, Richard B. Kieburtz, Rishiyur S. Nikhil, Will Partain, John Peterson

ACM SIGPLAN Notices, 1992

SIGPLAN Notices Special Issue on the Functional Programming Language Haskell.

Joseph H. Fasel, Paul Hudak, Simon L. Peyton Jones, Philip Wadler

ACM SIGPLAN Notices, 1992

Comprehending Monads.

Philip Wadler

Math. Struct. Comput. Sci., 1992

The Essence of Functional Programming.

Philip Wadler

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

Monads for functional programming.

Philip Wadler

Proceedings of the Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28, 1992

Deforestation for Higher-Order Functions.

Simon Marlow, Philip Wadler

Proceedings of the Functional Programming, 1992

Avoiding Unnecessary Updates.

John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler

Proceedings of the Functional Programming, 1992

Combining Monads.

David J. King, Philip Wadler

Proceedings of the Functional Programming, 1992

The Glasgow Haskell Compiler: A Retrospective.

Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler

Proceedings of the Functional Programming, 1992

Einführung in die funktionale Programmierung.

Richard S. Bird, Philip Wadler

Hanser Studienbücher der Informatik, Hanser, ISBN: 978-3-446-17001-8, 1992

1991

Is There a Use for Linear Logic?

Philip Wadler

Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1991

1990

Deforestation: Transforming Programs to Eliminate Trees.

Philip Wadler

Theor. Comput. Sci., 1990

Linear Types can Change the World!

Philip Wadler

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

Strictness Analysis in 4D.

Kei Davis, Philip Wadler

Proceedings of the 1990 Glasgow Workshop on Functional Programming, 1990

1989

How to Make ad-hoc Polymorphism Less ad-hoc.

Philip Wadler, Stephen Blott

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

Theorems for Free!

Philip Wadler

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

Backwards Strictness Analysis: Proved and Improved.

Kei Davis, Philip Wadler

Proceedings of the Functional Programming, 1989

1988

Strictness Analysis Aids Time Analysis.

Philip Wadler

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

Introduction to functional programming.

Richard S. Bird, Philip Wadler

Prentice Hall International series in computer science, Prentice Hall, ISBN: 978-0-13-484197-7, 1988

1987

Fixing some Space Leaks with a Garbage Collector.

Philip Wadler

Softw. Pract. Exp., 1987

A critique of Abelson and Sussman or why calculating is better than scheming.

Philip Wadler

ACM SIGPLAN Notices, 1987

Views: A Way for Pattern Matching to Cohabit with Data Abstraction.

Philip Wadler

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

Projections for strictness analysis.

Philip Wadler, R. J. M. Hughes

Proceedings of the Functional Programming Languages and Computer Architecture, 1987

1986

A new array operation.

Philip Wadler

Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986

1985

A Simple Language is also a Functional Language.

Philip Wadler

Softw. Pract. Exp., 1985

Listlessness is better than laziness II: composing listless functions.

Philip Wadler

Proceedings of the Programs as Data Objects, 1985

How to Replace Failure by a List of Successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages.

Philip Wadler

Proceedings of the Functional Programming Languages and Computer Architecture, 1985

1984

Listlessness is Better than Laziness: Lazy Evaluation and Garbage Collection at Compile Time.

Philip Wadler

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

1981

Applicative style programming, program transformation, and list operators.

Philip Wadler

Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981

1980

Experience with an Applicative String Processing Language.

James H. Morris Jr., Eric Schmidt, Philip Wadler

Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980

1976

Analysis of an Algorithm for Real Time Garbage Collection.

Philip Wadler

Commun. ACM, 1976