Varmo Vene

Available identifiers

Publication	Date of Publication	Type
Demand-driven interprocedural analysis for map-based abstract domains	2018-10-01	Paper
Monadic augment and generalised short cut fusion	2015-01-06	Paper
The Recursion Scheme from the Cofree Recursive Comonad	2014-06-27	Paper
Comonadic Notions of Computation	2014-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q2847806	2013-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q3653849	2009-12-29	Paper
Corecursive Algebras: A Study of General Structured Corecursion	2009-12-09	Paper
Recursion Schemes for Dynamic Programming	2009-04-02	Paper
The Essence of Dataflow Programming	2009-01-15	Paper
Type systems equivalent to data-flow analyses for imperative languages	2007-01-09	Paper
Fundamentals of Computation Theory	2006-10-20	Paper
Programming Languages and Systems	2006-10-20	Paper
Recursive coalgebras from comonads	2006-06-30	Paper
Programming Languages and Systems	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4828479	2004-11-19	Paper
Least and greatest fixed points in intuitionistic natural deduction	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2765926	2002-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q2718773	2001-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q4524982	2001-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q4939621	2000-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q4267198	1999-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4209403	1998-09-27	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Varmo Vene