The following pages link to Tarmo Uustalu (Q235624):
Displayed 50 items.
- Coalgebraic update lenses (Q283736) (← links)
- Certified CYK parsing of context-free languages (Q465493) (← links)
- Substitution in non-wellfounded syntax with variable binding (Q703526) (← links)
- Proof optimization for partial redundancy elimination (Q843219) (← links)
- Explicit substitutions and higher-order syntax (Q853744) (← links)
- Type systems equivalent to data-flow analyses for imperative languages (Q860844) (← links)
- A compositional natural semantics and Hoare logic for low-level languages (Q877026) (← links)
- Program and proof optimizations with type systems (Q953533) (← links)
- The delay monad and restriction categories (Q1675789) (← links)
- Container combinatorics: monads and lax monoidal functors (Q1698760) (← links)
- Iteration and coiteration schemes for higher-order and nested datatypes (Q1770412) (← links)
- Algebraic and coalgebraic perspectives on interaction laws (Q2038083) (← links)
- Operational semantics with semicommutations (Q2043812) (← links)
- Eilenberg-Kelly reloaded (Q2133479) (← links)
- The sequent calculus of skew monoidal categories (Q2134838) (← links)
- Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus (Q2141293) (← links)
- A divertimento on MonadPlus and nondeterminism (Q2374316) (← links)
- Recursive coalgebras from comonads (Q2495640) (← links)
- Stateful runners of effectful computations (Q2520704) (← links)
- (Q2718773) (← links)
- (Q2765926) (← links)
- Quotienting the Delay Monad by Weak Bisimilarity (Q2787419) (← links)
- A Coalgebraic View of Bar Recursion and Bar Induction (Q2811334) (← links)
- (Q2843728) (← links)
- (Q2847806) (← links)
- (Q2852100) (← links)
- Comonadic Notions of Computation (Q2873672) (← links)
- When is a container a comonad? (Q2878762) (← links)
- When Is a Container a Comonad? (Q2892760) (← links)
- Monadic augment and generalised short cut fusion (Q2936792) (← links)
- Certified Parsing of Regular Languages (Q2938042) (← links)
- Update Monads: Cointerpreting Directed Containers (Q2968407) (← links)
- Combining effects and coeffects via grading (Q2985796) (← links)
- On streams that are finitely red (Q3166225) (← links)
- Trace-Based Coinductive Operational Semantics for While (Q3183540) (← links)
- (Q3487333) (← links)
- Monads Need Not Be Endofunctors (Q3557858) (← links)
- A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While (Q3558243) (← links)
- Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents (Q3648737) (← links)
- Corecursive Algebras: A Study of General Structured Corecursion (Q3651278) (← links)
- (Q4267198) (← links)
- (Q4312450) (← links)
- (Q4312455) (← links)
- (Q4417851) (← links)
- (Q4435476) (← links)
- Generalizing Substitution (Q4460688) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- Quotienting the delay monad by weak bisimilarity (Q4559601) (← links)
- Coproducts of Ideal Monads (Q4659887) (← links)
- A proof-theoretic study of bi-intuitionistic propositional sequent calculus (Q4684356) (← links)