A Categorical Model for Higher Order Imperative Programming (1993)

Cached

Download Links

by David A. Naumann
Venue:Mathematical Structures in Computer Science
Citations:14 - 13 self