Computational Types from a Logical Perspective (1995)

by P. N. Benton , G. M. Bierman , V. C. V. De Paiva
Venue:Journal of Functional Programming
Citations:54 - 6 self