Pages that link to "Item:Q5692153"
From MaRDI portal
The following pages link to Two-level types and parameterized modules (Q5692153):
Displaying 7 items.
- Constructing language processors with algebra combinators (Q608238) (← links)
- Formal derivation of greedy algorithms from relational specifications: a tutorial (Q2374306) (← links)
- MikiBeta : A General GUI Library for Visualizing Proof Trees (Q3003488) (← links)
- Asymptotic Improvement of Computations over Free Monads (Q3521997) (← links)
- A pattern for almost compositional functions (Q3546044) (← links)
- Interleaving data and effects (Q5371955) (← links)
- A Duality of Sorts (Q5410453) (← links)