Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
You Have Built This Before
1.
Binders, the Hard Way
2.
Nameless, but Not Effortless
3.
Let the Host Bind
4.
Parametric HOAS
5.
Substitution Is Instantiation
6.
The Small Print: Parametricity
7.
Typed PHOAS: Evaluation Without Environments
8.
A Verified Transformation
9.
When PHOAS Is Inconvenient
10.
The Idea on One Page
11.
Where HOAS Is Native