Follow
Varmo Vene
Varmo Vene
Professor of Semantics of Programming Languages, University of Tartu
Verified email at cs.ut.ee
Title
Cited by
Cited by
Year
The essence of dataflow programming
T Uustalu, V Vene
Central European Functional Programming School, 135-167, 2005
1102005
Comonadic notions of computation
T Uustalu, V Vene
Electronic Notes in Theoretical Computer Science 203 (5), 263-284, 2008
1062008
Primitive (co) recursion and course-of-value (co) iteration, categorically
T Uustalu, V Vene
Informatica 10 (1), 5-26, 1999
1041999
Recursive coalgebras from comonads
V Capretta, T Uustalu, V Vene
Information and Computation 204 (4), 437-468, 2006
722006
Recursion schemes from comonads
T Uustalu, V Vene, A Pardo
Nordic Journal of Computing 8 (3), 366-390, 2001
722001
Categorical programming with inductive and coinductive types
V Vene
Tartu University Press, 2000
712000
Functional programming with apomorphisms (corecursion)
V Vene, T Uustalu
Proceedings of the Estonian Academy of Sciences: Physics, Mathematics 47 (3 …, 1998
581998
A type system for computationally secure information flow
P Laud, V Vene
International Symposium on Fundamentals of Computation Theory, 365-377, 2005
512005
Goblint: Path-sensitive data race analysis
V Vojdani, V Vene
Annales Univ. Sci. Budapest., Sect. Comp 30, 141-155, 2009
422009
Representing cyclic structures as nested datatypes
N Ghani, M Hamana, T Uustalu, V Vene
Proc. of 7th Symp. on Trends in Functional Programming, TFP 2006, 2006
382006
Corecursive algebras: A study of general structured corecursion
V Capretta, T Uustalu, V Vene
Brazilian Symposium on Formal Methods, 84-100, 2009
372009
Mendler-style inductive types, categorically
T Uustalu, V Vene
Nord. J. Comput. 6 (3), 343-, 1999
351999
Build, augment and destroy, universally
N Ghani, T Uustalu, V Vene
Asian Symposium on Programming Languages and Systems, 327-347, 2004
342004
Static race detection for device drivers: the Goblint approach
V Vojdani, K Apinis, V Rõtov, H Seidl, V Vene, R Vogler
2016 31st IEEE/ACM International Conference on Automated Software …, 2016
332016
An interactive tool for analyzing embedded SQL queries
A Annamaa, A Breslav, J Kabanov, V Vene
Asian Symposium on Programming Languages and Systems, 131-138, 2010
272010
Comonadic functional attribute evaluation.
T Uustalu, V Vene
Trends in Functional Programming 6, 145-162, 2005
262005
Coding recursion a la Mendler
T Uustalu, V Vene
Department of Computer Science, Utrecht University, 2000
262000
A thousand years of productivity: the JRebel story
J Kabanov, V Vene
Software: Practice and Experience 44 (1), 105-127, 2014
242014
Type systems equivalent to data-flow analyses for imperative languages
P Laud, T Uustalu, V Vene
Theoretical Computer Science 364 (3), 292-310, 2006
242006
Recursion schemes for dynamic programming
J Kabanov, V Vene
International Conference on Mathematics of Program Construction, 235-252, 2006
232006
The system can't perform the operation now. Try again later.
Articles 1–20