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
1082005
Primitive (co) recursion and course-of-value (co) iteration, categorically
T Uustalu, V Vene
Informatica 10 (1), 5-26, 1999
971999
Comonadic notions of computation
T Uustalu, V Vene
Electronic Notes in Theoretical Computer Science 203 (5), 263-284, 2008
932008
Categorical programming with inductive and coinductive types
V Vene
Tartu University Press, 2000
692000
Recursive coalgebras from comonads
V Capretta, T Uustalu, V Vene
Information and Computation 204 (4), 437-468, 2006
662006
Recursion schemes from comonads
T Uustalu, V Vene, A Pardo
Nordic Journal of Computing 8 (3), 366-390, 2001
642001
Functional programming with apomorphisms (corecursion)
V Vene, T Uustalu
Proceedings of the Estonian Academy of Sciences: Physics, Mathematics 47 (3 …, 1998
561998
A type system for computationally secure information flow
P Laud, V Vene
International Symposium on Fundamentals of Computation Theory, 365-377, 2005
522005
Goblint: Path-sensitive data race analysis
V Vojdani, V Vene
Annales Univ. Sci. Budapest., Sect. Comp 30, 141-155, 2009
402009
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
362006
Corecursive algebras: A study of general structured corecursion
V Capretta, T Uustalu, V Vene
Brazilian Symposium on Formal Methods, 84-100, 2009
332009
Build, augment and destroy, universally
N Ghani, T Uustalu, V Vene
Asian Symposium on Programming Languages and Systems, 327-347, 2004
332004
Mendler-style inductive types, categorically
T Uustalu, V Vene
Nord. J. Comput. 6 (3), 343-, 1999
331999
Comonadic functional attribute evaluation.
T Uustalu, V Vene
Trends in Functional Programming 6, 145-162, 2005
262005
Type systems equivalent to data-flow analyses for imperative languages
P Laud, T Uustalu, V Vene
Theoretical Computer Science 364 (3), 292-310, 2006
252006
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
242010
Coding recursion a la Mendler
T Uustalu, V Vene
Department of Computer Science, Utrecht University, 2000
242000
A thousand years of productivity: the JRebel story
J Kabanov, V Vene
Software: Practice and Experience 44 (1), 105-127, 2014
232014
Signals and Comonads.
T Uustalu, V Vene
J. UCS 11 (7), 1310-1326, 2005
232005
Recursion schemes for dynamic programming
J Kabanov, V Vene
International Conference on Mathematics of Program Construction, 235-252, 2006
222006
The system can't perform the operation now. Try again later.
Articles 1–20