aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/computation.md
blob: 59186b29bd76c119f5d1d744a4f46220ee44a0c0 (plain)
1
2
3
4
5
6
7
8
9
10
# 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/)