# Dynamic binding

1. [Programming with Implicit Values, Functions, and Control (or, Implicit Functions: Dynamic Binding with Lexical Scoping)](https://www.microsoft.com/en-us/research/publication/programming-with-implicit-values-functions-and-control-or-implicit-functions-dynamic-binding-with-lexical-scoping/)

# Construct

1. [Fundamental Constructs in Programming Languages](https://arxiv.org/abs/2107.10545)
1. [Deconstructing Lambdas—An Awkward Guide to Programming Without Functions](https://www.youtube.com/watch?v=xZmPuz9m2t0)
1. [Compiling to categories](http://conal.net/papers/compiling-to-categories/)