Uustalu, Tarmo.
Uustalu, Tarmo, 1969-
Tarmo Uustalu
VIAF ID: 60232220 (Personal)
Permalink: http://viaf.org/viaf/60232220
Preferred Forms
- 100 0 _ ‡a Tarmo Uustalu
- 100 1 _ ‡a Uustalu, Tarmo
- 100 1 _ ‡a Uustalu, Tarmo
- 100 1 _ ‡a Uustalu, Tarmo
- 100 1 _ ‡a Uustalu, Tarmo
-
-
-
-
- 100 1 _ ‡a Uustalu, Tarmo
-
-
-
4xx's: Alternate Name Forms (5)
5xx's: Related Names (5)
- 510 2 _ ‡a AFP 2004 (2004 : Tartu, Estonia)
- 510 2 _ ‡a Küberneetika Instituut ‡g Eesti Teaduste Akadeemia ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Küberneetika Instituut
- 510 2 _ ‡a MPC 2006 (2006 : Kingissepa, Estonia)
- 510 2 _ ‡a TYPES 2015 (2015 : Tallinn, Estonia)
Works
Title | Sources |
---|---|
Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures | |
Applied Semantics Workshop. | |
APPSEM 2004. | |
Aspects of structural synthesis of programs : dissertation | |
Combining effects and coeffects via grading | |
Comonadic Notions of Computation | |
Corecursive Algebras: A Study of General Structured Corecursion | |
Eesti Õpilaste Teadusliku Ühingu XII, XIII ja XIV teaduskonverentsi teesid | |
The Essence of Dataflow Programming | |
FICS 2009. | |
Filosoofia, loogika ja normid : [valik artikleid] | |
Flexible presentations of graded monads | |
Kirik, ühiskond, misjon. | |
Kontekstivabade grammatikate algoritmide sertifitseerimine. | |
Mathematically Structured Functional Programming. | |
Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings | |
Monadic augment and generalised short cut fusion | |
MPC 2006 | |
MSFP 2006. | |
Natural deduction for intuitionistic least and greatest fixedpoint logics, with an application to program construction | |
Nõmme Kammerkoor | |
NWPT 2008 | |
Oleviste Noortekoor Jugendchor der Olaikirche | |
Opérades cycliques : aspects syntaxiques, algébriques et catégorifiés. | |
Operational semantics of weak sequential composition Nõrga jadakompositsiooni operatsioonsemantika | |
Plotkin's call-by-value λ-calculus as a modal calculus | |
Program Repair as Sound Optimization of Broken Programs | |
The Recursion Scheme from the Cofree Recursive Comonad | |
Second APPSEM II Workshop. | |
Siin on mu väikene süda ja väikesed käed | |
Sixth Workshop on Fixed Points in Computer Science. | |
Teistsugune evangeelium | |
Theoretical Aspects of Computing - ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings | |
Tüübiteoreetiline uurimus mittetermineeruvusest | |
Twentieth Nordic Workshop on Programming Theory | |
Type systems equivalent to data-flow analyses for imperative languages | |
TYPES 2015. | |
Секвенциальные системы модальных исчислений |