Staged computation with names and necessity (0)

by A Nanevski, F Pfenning
Venue:Journal of Functional Programmming