Varmo Vene

MaRDI QIDQ235625zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Demand-driven interprocedural analysis for map-based abstract domains Journal of Logical and Algebraic Methods in Programming	2018-10-01	Paper
Monadic augment and generalised short cut fusion Proceedings of the tenth ACM SIGPLAN international conference on Functional programming	2015-01-06	Paper
The Recursion Scheme from the Cofree Recursive Comonad Electronic Notes in Theoretical Computer Science	2014-06-27	Paper
Comonadic notions of computation Electronic Notes in Theoretical Computer Science	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 Lecture Notes in Computer Science	2009-12-09	Paper
Recursion Schemes for Dynamic Programming Lecture Notes in Computer Science	2009-04-02	Paper
The Essence of Dataflow Programming Central European Functional Programming School	2009-01-15	Paper
Type systems equivalent to data-flow analyses for imperative languages Theoretical Computer Science	2007-01-09	Paper
Fundamentals of Computation Theory Lecture Notes in Computer Science	2006-10-20	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2006-10-20	Paper
Recursive coalgebras from comonads Information and Computation	2006-06-30	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2005-08-17	Paper
scientific article; zbMATH DE number 2117132 (Why is no real title available?)	2004-11-19	Paper
Least and greatest fixed points in intuitionistic natural deduction Theoretical Computer Science	2002-03-03	Paper
Recursion schemes from comonads Nordic Journal of Computing	2002-01-24	Paper
Functional programming with apomorphisms (corecursion) Proceedings of the Estonian Academy of Sciences. Physics, Mathematics	2001-05-09	Paper
scientific article; zbMATH DE number 1552770 (Why is no real title available?)	2001-01-16	Paper
scientific article; zbMATH DE number 1400097 (Why is no real title available?)	2000-05-28	Paper
scientific article; zbMATH DE number 1343506 (Why is no real title available?)	1999-11-23	Paper
scientific article; zbMATH DE number 1203022 (Why is no real title available?)	1998-09-27	Paper

Research outcomes over time

This page was built for person: Varmo Vene