עקוב אחר
Varmo Vene
Varmo Vene
Professor of Semantics of Programming Languages, University of Tartu
כתובת אימייל מאומתת בדומיין cs.ut.ee
כותרת
צוטט על ידי
צוטט על ידי
שנה
Comonadic notions of computation
T Uustalu, V Vene
Electronic Notes in Theoretical Computer Science 203 (5), 263-284, 2008
1282008
The essence of dataflow programming
T Uustalu, V Vene
Central European Functional Programming School, 135-167, 2005
1142005
Primitive (co) recursion and course-of-value (co) iteration, categorically
T Uustalu, V Vene
Informatica 10 (1), 5-26, 1999
1061999
Recursion schemes from comonads
T Uustalu, V Vene, A Pardo
Nordic Journal of Computing 8 (3), 366-390, 2001
742001
Categorical programming with inductive and coinductive types
V Vene
Tartu University Press, 2000
742000
Recursive coalgebras from comonads
V Capretta, T Uustalu, V Vene
Information and Computation 204 (4), 437-468, 2006
732006
Static race detection for device drivers: the Goblint approach
V Vojdani, K Apinis, V Rõtov, H Seidl, V Vene, R Vogler
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
652016
Functional programming with apomorphisms (corecursion)
V Vene, T Uustalu
Proceedings of the Estonian Academy of Sciences: Physics, Mathematics 47 (3 …, 1998
621998
A type system for computationally secure information flow
P Laud, V Vene
International Symposium on Fundamentals of Computation Theory, 365-377, 2005
532005
Goblint: Path-sensitive data race analysis
V Vojdani, V Vene
Annales Univ. Sci. Budapest., Sect. Comp 30, 141-155, 2009
452009
Corecursive algebras: A study of general structured corecursion
V Capretta, T Uustalu, V Vene
Brazilian Symposium on Formal Methods, 84-100, 2009
422009
Mendler-style inductive types, categorically
T Uustalu, V Vene
Nord. J. Comput. 6 (3), 343-, 1999
401999
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
372006
Build, augment and destroy, universally
N Ghani, T Uustalu, V Vene
Asian Symposium on Programming Languages and Systems, 327-347, 2004
362004
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
342010
Type systems equivalent to data-flow analyses for imperative languages
P Laud, T Uustalu, V Vene
Theoretical Computer Science 364 (3), 292-310, 2006
302006
Coding recursion a la Mendler
T Uustalu, V Vene
Proc. of 2nd Wksh. on Generic Programming, WGP, 69-85, 2000
292000
Comonadic functional attribute evaluation.
T Uustalu, V Vene
Trends in Functional Programming 6, 145-162, 2005
262005
Global invariants for analysing multi-threaded applications
H Seidl, V Vene, M Muller-Olm
PROCEEDINGS-ESTONIAN ACADEMY OF SCIENCES PHYSICS MATHEMATICS 52 (4), 413-436, 2003
262003
A thousand years of productivity: the JRebel story
J Kabanov, V Vene
Software: Practice and Experience 44 (1), 105-127, 2014
252014
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20