Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985 : proceedings - Laboratoire informatique théorique et programmation (France). Spring School 1985 : Le Val d'Ajol, France); Cousineau, Guy; Curien, Pierre-Louis; Robinet, Bernard (Berlin : Springer-Verlag, 1986)
Keywords: Functional programming languages -- Congresses; Combinatory logic -- Congresses