The following pages link to Data types à la carte (Q3520165):
Displayed 10 items.
- Executable component-based semantics (Q1734523) (← links)
- Combining deep and shallow embedding of domain-specific languages (Q1749137) (← links)
- Modular Dependent Induction in Coq, Mendler-Style (Q2829276) (← links)
- Fusion for Free (Q2941182) (← links)
- Asymptotic Improvement of Computations over Free Monads (Q3521997) (← links)
- Modularity and Implementation of Mathematical Operational Semantics (Q5166622) (← links)
- A representation theorem for second-order functionals (Q5371942) (← links)
- Interleaving data and effects (Q5371955) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- Functional Semantics (Q5410451) (← links)