Logical foundations of functional programming

Name: Logical foundations of functional programming
Author: Gérard Huet, The UT year of programming series

by Gérard Huet, The UT year of programming series · 1 review · 1994

Reviewed by	Journal	Date	Access
Karl Meinke	The Journal of Symbolic Logic	1994	Restricted