Papers.md @master — view markup · raw · history · blame
Name Binding Papers
Foundational Aspects of Syntax
- authors: Dale Miller, Catuscia Palamidessi
- date: 1999?
- online @ web.archive.org
HOAS
Abstract Syntax for Variable Binders
- subtitle: an overview
- authors: Dale Miller
- date: 2000?
- online @ web.archive.org
.
A Simple Take on Typed Abstract Syntax in Haskell-like Languages
- authors: Olivier Danvy, Morten Rhiger
- date: 2000
- online @ tidsskrift.dk
- topics: Name Binding, Haskell
Haskell-style HOAS
A Metalanguage for Programming with Bound Names Modulo Renaming
- authors: Andrew M. Pitts, Murdoch J. Gabbay
- date: 2000?
- url: https://www.cl.cam.ac.uk/~amp12/papers/metpbn/metpbn.pdf
- topics: Programming Languages, PLDI, Name Binding
FreshML. Gabbay and Pitts.
I am not a Number, I am a Free Variable
- authors: Conor McBride, James McKinna
- date: 2004
- url: http://www.e-pig.org/downloads/notanum.pdf
.
A Type and Scope Safe Universe of Syntaxes with Binding
- subtitle: Their Semantics and Proofs
- authors: Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, James McKinna
- date: 2018
- url: https://pure.strath.ac.uk/ws/portalfiles/portal/114903157/Allais_etal_ICFP2018_A_type_and_scope_safe_universe_of_syntaxes_with_binding.pdf
- topics: Name Binding, Type Theory
.
Five Axioms of Alpha-Conversion
- authors: Andrew D. Gordon, Tom Melham
- date: 1996
- url: https://www.cs.ox.ac.uk/tom.melham/pub/Gordon-1996-FAA.pdf
.
Don’t Substitute Into Abstractions (Functional Pearl)
- authors: Ben Lippmeier
- date: 2016
- url: https://benl.ouroborus.net/papers/2016-dsim/lambda-dsim-20160328.pdf
- topics: Lambda Calculus, Name Binding
.
Abstract Binding Trees, Dynamics and Statics
- authors: Robert J. Simmons
- date: 2014
- url: https://www.cs.cmu.edu/~rjsimmon/15312-s14/hws/hw1update2-handout.pdf
- format: lecture-notes, assignment
.
Viewing λ-terms through Maps
- authors: Masahiko Sato, Randy Pollack, Helmut Schwichtenberg, Takafumi Sakurai
- date: 2013
- url: https://www.mathematik.uni-muenchen.de/~schwicht/papers/lambda13/lamtheory8.pdf
.