Pages that link to "Item:Q3992670"
From MaRDI portal
The following pages link to Functional programming. Practice and theory (Q3992670):
Displaying 18 items.
- Computational interpretations of linear logic (Q685430) (← links)
- Computing downwards accumulations on trees quickly (Q1369231) (← links)
- Reasoning with power defaults (Q1882904) (← links)
- Introduction to the theory of programming languages. (Q1960263) (← links)
- Program analysis in the system for learning functional programming (Q2752998) (← links)
- Domain-Theoretic Foundations of Functional Programming (Q3415205) (← links)
- A Relation Algebraic Semantics for a Lazy Functional Logic Language (Q3498404) (← links)
- (Q3523332) (← links)
- Funktionale und Applikative Programmierung (Q3598202) (← links)
- (Q3992669) (← links)
- (Q3999576) (← links)
- (Q4004009) (← links)
- (Q4023827) (← links)
- (Q4223591) (← links)
- (Q4274972) (← links)
- Algorithms for Functional Programming (Q4558906) (← links)
- <i>Functional Pearl</i>Deduction for functional programmers (Q4895558) (← links)
- Generic Programming (Q5187876) (← links)