Pages that link to "Item:Q1078543"
From MaRDI portal
The following pages link to Combinators and functional programming languages. Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings (Q1078543):
Displaying 5 items.
- An abstract framework for environment machines (Q804281) (← links)
- A semantics of multiple inheritance (Q1106652) (← links)
- Inheritance as implicit coercion (Q1175335) (← links)
- Lambda-dropping: Transforming recursive equations into programs with block structure (Q1583366) (← links)
- Formal categorical reasoning (Q5102205) (← links)