Staged Computation with Names and Necessity (2005)

Cached

Download Links

by Aleksandar Nanevski , Frank Pfenning
Citations:9 - 1 self