팔로우
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
1322008
The essence of dataflow programming
T Uustalu, V Vene
Central European Functional Programming School, 135-167, 2005
1172005
Primitive (co) recursion and course-of-value (co) iteration, categorically
T Uustalu, V Vene
Informatica 10 (1), 5-26, 1999
1081999
Recursive coalgebras from comonads
V Capretta, T Uustalu, V Vene
Information and Computation 204 (4), 437-468, 2006
792006
Recursion schemes from comonads
T Uustalu, V Vene, A Pardo
Nordic Journal of Computing 8 (3), 366-390, 2001
752001
Categorical programming with inductive and coinductive types
V Vene
Tartu University Press, 2000
742000
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
682016
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
462009
Corecursive algebras: A study of general structured corecursion
V Capretta, T Uustalu, V Vene
Brazilian Symposium on Formal Methods, 84-100, 2009
442009
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
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
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
272003
A thousand years of productivity: the JRebel story
J Kabanov, V Vene
Software: Practice and Experience 44 (1), 105-127, 2014
262014
Comonadic functional attribute evaluation.
T Uustalu, V Vene
Trends in Functional Programming 6, 145-162, 2005
262005
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20