Combinators and functional programming languages. Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings

zbMath0597.00032MaRDI QIDQ1078543

No author found.

Publication date: 1986

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ProceedingsFunctional programmingCombinatorsLITPVal d'Ajol/France

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (5)

A semantics of multiple inheritance ⋮ Formal categorical reasoning ⋮ Inheritance as implicit coercion ⋮ Lambda-dropping: Transforming recursive equations into programs with block structure ⋮ An abstract framework for environment machines

This page was built for publication: Combinators and functional programming languages. Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings