Normalisation by Evaluation in the Compilation of Typed Functional Programming Languages (2005)

by Sam Lindley
Citations:9 - 3 self