Pages that link to "Item:Q2996141"
From MaRDI portal
The following pages link to HasCasl: Towards Integrated Specification and Development of Functional Programs (Q2996141):
Displaying 6 items.
- HasCasl (Q13159) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- Classifying categories for partial equational logic (Q2842828) (← links)
- Generalized Theoroidal Institution Comorphisms (Q3184726) (← links)