Namespaced DeBruijn Indices By Gabriella Gonzalez

This presentation describes a simple and elegant solution for avoiding name capture in interpreted languages that also improves the readability of inferred types and β-reduced normal forms. The name for the trick is "namespaced DeBruijn indices" because it combines the best features of both a named representation and De Bruijn indices.

About our speaker

Gabriella (a.k.a. Gabby) is an engineering manager at Arista Networks who will talk your ear off about functional programming if you give her the chance. She is best known for her blog at haskellforall.com and for authoring the Dhall configuration language.

Event details: https://www.meetup.com/Bay-Area-Haskell-Users-Group/events/284148984/

Recording also available on YouTube