4 ms·
Checking Dependent Types with Normalization by Evaluation [pdf]
- creata 5y agoThe author also has a HTML version of this tutorial at https://davidchristiansen.dk/tutorials/nbe/ https://davidchristiansen.dk/tutorials/nbe/ using Racket instead of Haskell.