Staged computation with names and necessity (0)

by Aleksandar Nanevski, Frank Pfenning
Venue:Journal of Functional Programming