1 results
Logical foundations of functional programming, edited by Gérard Huet, The UT year of programming series, Addison-Wesley Publishing Company, Reading, Mass., etc., 1990, xvi + 491 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1439-1441
- Print publication:
- December 1994
-
- Article
- Export citation