The following pages link to Dominic A. Orchard (Q1001350):
Displayed 17 items.
- Integrating Lucid's declarative dataflow paradigm into object-orientation (Q1001351) (← links)
- (Q1640986) (redirect page) (← links)
- Complexity bounds for container functors and comonads (Q1640987) (← links)
- Resourceful program synthesis from graded linear types (Q2119110) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- Graded modal dependent type theory (Q2233475) (← links)
- Effect Systems Revisited—Control-Flow Algebra and Semantics (Q2796214) (← links)
- Coeffects (Q2819671) (← links)
- Effects as sessions, sessions as effects (Q2828297) (← links)
- Computational Semantics with Functional Programming, by Jan van Eijck and Christina Unger . (Q2933114) (← links)
- Combining effects and coeffects via grading (Q2985796) (← links)
- Haskell Type Constraints Unleashed (Q3558329) (← links)
- (Q5020617) (← links)
- Automatic SIMD vectorization for Haskell (Q5244784) (← links)
- Coeffects: Unified Static Analysis of Context-Dependence (Q5327449) (← links)
- Linearity and uniqueness: an entente cordiale (Q6166794) (← links)
- Unifying graded and parameterised monads (Q6333624) (← links)