Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel ajakirjas

A divertimento on MonadPlus and nondeterminismUustalu, TarmoJournal of logical and algebraic methods in programming2016 / p. 1086-1094 : ill http://dx.doi.org/10.1016/j.jlamp.2016.06.004

artikkel ajakirjas

2

artikkel ajakirjas

A Hoare logic for the coinductive trace-based big-step semantics of WhileNakata, Keiko; Uustalu, TarmoLogical methods in computer science2015 / p. 1-32 http://dx.doi.org/10.2168/LMCS-11(1:1)2015

artikkel ajakirjas

3

artikkel ajakirjas

A proof-theoretic study of bi-intuitionistic propositional sequent calculusPinto, Luis; Uustalu, TarmoJournal of logic and computation2018 / p. 165-202 https://doi.org/10.1093/logcom/exx044

artikkel ajakirjas

4

artikkel kogumikus

A type system with subtyping for Webassembly’s stack polymorphismMcDermott, Dylan; Morita, Yasuaki; Uustalu, TarmoTheoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings2022 / p. 305-323 https://doi.org/10.1007/978-3-031-17715-6_20

artikkel kogumikus

5

artikkel kogumikus

Acyclic attribute evaluation in a dependently typed settingFirsov, Denis; Uustalu, TarmoProceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)2016 / p. 124-126 : ill http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf

artikkel kogumikus

6

raamat

Advanced Functional Programming : 5th International School, AFP 2004 : Tartu, Estonia, August 14-21, 2004 : revised lecturesVene, Varmo; Uustalu, Tarmo2005 https://www.ester.ee/record=b2083926*est

raamat

7

artikkel kogumikus

Algebraic and coalgebraic perspectives on interaction lawsUustalu, Tarmo; Voorneveld, NielsProgramming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020 : proceedings2020 / p. 186-205 https://doi.org/10.1007/978-3-030-64437-6_10

artikkel kogumikus

8

artikkel ajalehes

Alustab arvutiteaduse tippkeskusUustalu, TarmoPostimees2008 / 19. aug., Koolituse Extra, lk. 10 https://tarbija.postimees.ee/1815409/alustab-arvutiteaduse-tippkeskus

artikkel ajalehes

9

artikkel kogumikus

An Estonian Research Excellence Centre in Gomputer Science : [the Estonian Centre for Dependable Computing]Uustalu, TarmoEstonia : member state of NATO and the EU : international business handbook 2007-20082007 / p. 182-190 : portr

artikkel kogumikus

10

artikkel kogumikus

Arvutamine on loodusteadus : [intervjuu Tarmo Uustaluga]Uustalu, TarmoTeadusmõte Küberneetika Instituudis2010 / lk. 86-90 : portr

artikkel kogumikus

11

artikkel ajakirjas

Arvutamine on loodusteadus : vastab Tarmo UustaluUustalu, TarmoHorisont2006 / lk. 15-17 : portr

artikkel ajakirjas

12

artikkel kogumikus

Arvutiteadlaste koolid ja seminaridUustalu, TarmoTallinna Tehnikaülikooli aastaraamat 20032004 / lk. 302-305

artikkel kogumikus

13

artikkel ajakirjas

Arvutiteadus ja infotehnoloogia EestisUustalu, TarmoEesti aastaraamat 2002-20032002 / lk. 255-259

artikkel ajakirjas

14

artikkel ajalehes

Arvutiteadus uurib ka loodust : [kommenteerib TTÜ teadur Tarmo Uustalu]Uustalu, Tarmo; Laurisaar, RihoEesti Päevaleht2009 / 24. sept., lk. 24 https://epl.delfi.ee/artikkel/51178534/arvutiteadus-uurib-ka-loodust

artikkel ajalehes

15

artikkel ajalehes

Arvutiteadus, suusad ja saun : [3.-5. veebr. Arulas toimunud arvutiteaduse teooriapäevadest, osalejad TTÜ Küberneetika Instituudist, TTÜst, TÜst, mujalt Eestist ja Leicesteri Ülikoolist]Uustalu, TarmoMente et Manu2003 / 11. veebr., lk. 1, 2 : fot https://www.ester.ee/record=b1242496*est

artikkel ajalehes

16

artikkel ajakirjas

Arvutiteaduse teooria Rõuges : [10. Eesti arvutiteaduse teooriapäevadel oli esindatud ka TTÜ]Uustalu, TarmoA & A2007 / 2, lk. 50-51 : fot

artikkel ajakirjas

17

artikkel ajalehes

Arvutiteaduse teooriat Rõuges : [10. Eesti arvutiteaduse teooriapäevadest]Uustalu, TarmoMente et Manu2007 / 21. veebr., lk. 2 : fot https://www.ester.ee/record=b1242496*est

artikkel ajalehes

18

artikkel ajalehes

Arvutiteaduse tippkeskusUustalu, TarmoEesti Päevaleht2012 / Eesti teaduse tippkeskused, lk. 4

artikkel ajalehes

19

artikkel ajakirjas

Arvutiteaduse tippkeskus panustab väliskoostöösse : [intervjuu keskuse juhi Tarmo Uustaluga]Uustalu, TarmoArvutimaailm2008 / 9, lk. 12 : portr

artikkel ajakirjas

20

artikkel ajalehes

Arvutiteaduse tippkeskuse EXCS avalöök : [TTÜ 90. aastapäeva raames 18.-19. sept. 2008 toimuvast seminarist]Uustalu, TarmoMente et Manu2008 / 12. sept., lk. 2 https://www.ester.ee/record=b1242496*est

artikkel ajalehes

21

artikkel kogumikus

Arvutiteaduslik ekstsellentsusUustalu, TarmoTallinna Tehnikaülikooli aastaraamat 20082009 / lk. 15-18

artikkel kogumikus

22

artikkel kogumikus

Boris Tamm ja Eesti infotehnoloogia tulevikusuunad : [kõne mälestuskonverentsil "Boris Tamm haridus- ja teadusjuhina" 22. juunil 2005]Uustalu, TarmoTallinna Tehnikaülikooli aastaraamat 20052006 / lk. 144-146

artikkel kogumikus

23

artikkel kogumikus

Build, augment and destroy, universallyGhani, Neil; Uustalu, Tarmo; Vene, VarmoProgramming Languages and Systems : Second Asian Symposium : APLAS 2004 : Taipei, Taiwan, November 4-6, 2004 : proceedings2004 / p. 327-347

artikkel kogumikus

24

artikkel kogumikus

Calling paradigms and the box calculusSanto, Jose Espırito; Pinto, Luis; Uustalu, TarmoEUTYPES-TYPES 2020 : Abstracts2020 / 2 p https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf

artikkel kogumikus

25

artikkel kogumikus

Canonical gradings of monadsBreuvart, Flavien; McDermott, Dylan; Uustalu, TarmoProceedings of the 5th Annual International Applied Category Theory Conference (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022 https://dylanm.org/drafts/canonical-gradings.pdf

artikkel kogumikus

Uustalu, Tarmo (autor)

teaviku laadid