A Categorical Model for Higher Order Imperative Programming (1993)

Cached

Download Links

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