Varmo Vene

Available identifiers

zbMath Open vene.varmoDBLP04/4212WikidataQ62036652 ScholiaQ62036652MaRDI QIDQ235625

List of research outcomes

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
Recursive coalgebras from comonads	2013-09-11	Paper
Goblint: path-sensitive data race analysis	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
Recursion schemes from comonads	2002-01-24	Paper
Functional programming with apomorphisms (corecursion)	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

Research outcomes over time

This page was built for person: Varmo Vene