Dependent type theory of stateful higher-order functions (2005)

by Ar Nanevski , Greg Morrisett
Citations:7 - 2 self