The following pages link to Varmo Vene (Q235625):
Displaying 22 items.
- Type systems equivalent to data-flow analyses for imperative languages (Q860844) (← links)
- Demand-driven interprocedural analysis for map-based abstract domains (Q1785851) (← links)
- Recursive coalgebras from comonads (Q2495640) (← links)
- Functional programming with apomorphisms (corecursion) (Q2718773) (← links)
- Recursion schemes from comonads (Q2765926) (← links)
- Recursive coalgebras from comonads (Q2847806) (← links)
- Comonadic notions of computation (Q2873672) (← links)
- Monadic augment and generalised short cut fusion (Q2936792) (← links)
- Recursion Schemes for Dynamic Programming (Q3618825) (← links)
- Corecursive Algebras: A Study of General Structured Corecursion (Q3651278) (← links)
- (Q3653849) (← links)
- (Q4209403) (← links)
- (Q4267198) (← links)
- (Q4524982) (← links)
- (Q4828479) (← links)
- (Q4939621) (← links)
- The Recursion Scheme from the Cofree Recursive Comonad (Q5166625) (← links)
- The Essence of Dataflow Programming (Q5302890) (← links)
- Programming Languages and Systems (Q5464049) (← links)
- Fundamentals of Computation Theory (Q5492942) (← links)
- Programming Languages and Systems (Q5493371) (← links)
- Least and greatest fixed points in intuitionistic natural deduction (Q5958300) (← links)