De Bruijn indices and levels

(wiki-TODO: Add minimal explanation.)

Related

• Programming languages

External links

• https://en.wikipedia.org/wiki/De_Bruijn_index

Related interesting idea using a lazy evaluation circular recursive program

Blogpost by Pauls Cisuano:
A simple alternative to De Bruijn indexing, from ICFP 2013
https://pchiusano.github.io/2014-06-20/simple-debruijn-alternative.html

Using Circular Programs for Higher-Order Syntax
Functional pearl
Emil Axelsson Koen Claessen
Chalmers University of Technology
{emax,koen}@chalmers.se

• via the internet archive
• (old direct link, broken bynow) https://www.cse.chalmers.se/~emax/documents/axelsson2013using.pdf