Ratings by cpressey of Name Binding works

Foundational Aspects of Syntax

• rating: 1

Abstract Syntax for Variable Binders

• rating: 1

A Simple Take on Typed Abstract Syntax in Haskell-like Languages

• rating: 1

A Metalanguage for Programming with Bound Names Modulo Renaming

• rating: 0

I am not a Number, I am a Free Variable

• rating: 1

A Type and Scope Safe Universe of Syntaxes with Binding

• rating: TODO

Five Axioms of Alpha-Conversion

• rating: 1

Don’t Substitute Into Abstractions (Functional Pearl)

• rating: TODO

Abstract Binding Trees, Dynamics and Statics

• rating: 1

Viewing λ-terms through Maps

• rating: TODO

How do real-world proof assistants bind variables and check equality?

• rating: 1

mathink/mslambda: Map, Skeleton, Lambda term.

• rating: 1

bacam/sato-maps-agda

• rating: 1

jsiek/abstract-binding-trees: Abstract binding trees (abstract syntax trees plus binders), as a library in Agda

• rating: 1