Extended ML: an institution-independent framework for formal program development (1986)

Cached

Download Links

by Donald Sannella , Andrzej Tarlecki
Venue:PROC. WORKSHOP ON CATEGORY THEORY AND COMPUTER PROGRAMMING
Citations:19 - 10 self