The following pages link to A new notation for arrows (Q5178012):
Displayed 17 items.
- Cartesian effect categories are Freyd-categories (Q631572) (← links)
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change (Q656853) (← links)
- Arrows for secure information flow (Q964489) (← links)
- Reversible effects as inverse arrows (Q2134817) (← links)
- On the semantics of parsing actions (Q2441511) (← links)
- Quantum Arrows in Haskell (Q2870213) (← links)
- Categorifying Computations into Components via Arrows as Profunctors (Q2919448) (← links)
- A New Method for Dependent Parsing (Q3000590) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- The Arrow Calculus as a Quantum Programming Language (Q3638297) (← links)
- Categorical semantics for arrows (Q3638922) (← links)
- Traced Premonoidal Categories (Q4460686) (← links)
- An abstract monadic semantics for value recursion (Q4659889) (← links)
- Semantics of value recursion for Monadic Input/Output (Q4787832) (← links)
- Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous (Q5166623) (← links)
- Modal FRP for all: Functional reactive programming without space leaks in Haskell (Q6099198) (← links)
- Promonads and String Diagrams for Effectful Categories (Q6150166) (← links)