Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings

Guy Cousineau Pierre-Louis Curien Bernard Robinet Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings Combinators and Functional Programming Languages Lecture Notes in Computer Science 242 Springer 1986 3-540-17184-3 db/conf/litp/litp1985.html