Takip et
Varmo Vene
Varmo Vene
Professor of Semantics of Programming Languages, University of Tartu
cs.ut.ee üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Comonadic notions of computation
T Uustalu, V Vene
Electronic Notes in Theoretical Computer Science 203 (5), 263-284, 2008
1322008
The essence of dataflow programming
T Uustalu, V Vene
Central European Functional Programming School, 135-167, 2005
1192005
Primitive (co) recursion and course-of-value (co) iteration, categorically
T Uustalu, V Vene
Informatica 10 (1), 5-26, 1999
1091999
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
822016
Recursive coalgebras from comonads
V Capretta, T Uustalu, V Vene
Information and Computation 204 (4), 437-468, 2006
812006
Categorical programming with inductive and coinductive types
V Vene
Tartu University Press, 2000
762000
Recursion schemes from comonads
T Uustalu, V Vene, A Pardo
Nordic Journal of Computing 8 (3), 366-390, 2001
752001
Functional programming with apomorphisms (corecursion)
V Vene, T Uustalu
Proceedings of the Estonian Academy of Sciences: Physics, Mathematics 47 (3 …, 1998
631998
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
502009
Corecursive algebras: A study of general structured corecursion
V Capretta, T Uustalu, V Vene
Brazilian Symposium on Formal Methods, 84-100, 2009
452009
Mendler-style inductive types, categorically
T Uustalu, V Vene
Nord. J. Comput. 6 (3), 343-, 1999
411999
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
392006
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
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
302003
Coding recursion a la Mendler
T Uustalu, V Vene
Proc. of 2nd Wksh. on Generic Programming, WGP, 69-85, 2000
292000
Type systems equivalent to data-flow analyses for imperative languages
P Laud, T Uustalu, V Vene
Theoretical Computer Science 364 (3), 292-310, 2006
282006
A thousand years of productivity: the JRebel story
J Kabanov, V Vene
Software: Practice and Experience 44 (1), 105-127, 2014
272014
Signals and Comonads.
T Uustalu, V Vene
J. Univers. Comput. Sci. 11 (7), 1310-1326, 2005
262005
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20