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 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 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 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS Alustab arvutiteaduse tippkeskusUustalu, TarmoPostimees2008 / 19. aug., Koolituse Extra, lk. 10 https://tarbija.postimees.ee/1815409/alustab-arvutiteaduse-tippkeskus Arvutamine on loodusteadus : [intervjuu Tarmo Uustaluga]Uustalu, TarmoTeadusmõte Küberneetika Instituudis2010 / lk. 86-90 : portr Arvutamine on loodusteadus : vastab Tarmo UustaluUustalu, TarmoHorisont2006 / lk. 15-17 : portr Arvutiteadlaste koolid ja seminaridUustalu, TarmoTallinna Tehnikaülikooli aastaraamat 20032004 / lk. 302-305 Arvutiteadus ja infotehnoloogia EestisUustalu, TarmoEesti aastaraamat 2002-20032002 / lk. 255-259 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 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 Arvutiteaduse teooria Rõuges : [10. Eesti arvutiteaduse teooriapäevadel oli esindatud ka TTÜ]Uustalu, TarmoA & A2007 / 2, lk. 50-51 : fot 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 Arvutiteaduse tippkeskusUustalu, TarmoEesti Päevaleht2012 / Eesti teaduse tippkeskused, lk. 4 Arvutiteaduse tippkeskus panustab väliskoostöösse : [intervjuu keskuse juhi Tarmo Uustaluga]Uustalu, TarmoArvutimaailm2008 / 9, lk. 12 : portr 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 Arvutiteaduslik ekstsellentsusUustalu, TarmoTallinna Tehnikaülikooli aastaraamat 20082009 / lk. 15-18 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 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 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 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 20222022 https://doi.org/10.4204/eptcs.380 https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4328.pdf Certification of context-free grammar algorithms = Kontekstivabade grammatikate algoritmide sertifitseerimineFirsov, Denis2016 http://digi.lib.ttu.ee/i/?6213 Certified CYK parsing of context-free languagesFirsov, Denis; Uustalu, TarmoJournal of logical and algebraic methods in programming2014 / p. 459-468 Certified Foata normalization for generalized tracesMaarand, Hendrik; Uustalu, TarmoNASA Formal Methods Symposium : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings2018 / p. 299-314 https://doi.org/10.1007/978-3-319-77935-5_21 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS Certified normalization of generalized tracesMaarand, Hendrik; Uustalu, TarmoInnovations in Systems and Software Engineering2019 / p. 253–265 https://doi.org/10.1007/s11334-019-00347-1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS Coalgebraic update lensesAhman, Danel; Uustalu, TarmoElectronic notes in theoretical computer science2014 / p. 25-48 : ill A coalgebraic view of bar recursion and bar inductionCapretta, Venanzio; Uustalu, TarmoFoundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings2016 / p. 91-106 https://doi.org/10.1007/978-3-662-49630-5_6 Codensity lifting of monads and its dualKatsumata, Shin-ya; Sato, Tetsuya; Uustalu, TarmoLogical methods in computer science2018 / p. 1-31 https://doi.org/10.23638/LMCS-14(4:6)2018 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS Combining effects and coeffects via gradingGaboardi, Marco; Katsumata, Shin-ya; Orchard, Dominic; Breuvart, Flavien; Uustalu, TarmoICFP 2016 : proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming : Nara, Japan, September 18-24, 20162016 / p. 476-489 https://doi.org/10.1145/2951913.2951939 Comonadic functional attribute evaluationUustalu, Tarmo; Vene, VarmoSixth Symposium on Trends in Functional Programming : TFP 2005 : Tallinn, Estonia, 23-24 September 2005 : proceedings2005 / p. 33-43 Comonadic functional attribute evaluationUustalu, Tarmo; Vene, VarmoTrends in functional programming. Volume 62007 / p. 145-162 Container combinatorics : monads and lax monoidal functorsUustalu, TarmoTopics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings2017 / p. 91-105 : ill http://doi.org/10.1007/978-3-319-68953-1_8 Decomposing comonad morphismsAhman, Danel; Uustalu, Tarmo8th Conference on Algebra and Coalgebra in Computer Science : CALCO 2019, University College London, United Kingdom, 3-6 June 20192019 / art. 14 ; 20 p https://doi.org/10.4230/LIPIcs.CALCO.2019.14 Conference Proceedings at Scopus Article at Scopus Deductive systems and coherence for skew prounital closed categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-19 https://doi.org/10.48550/arXiv.2101.03809 Conference Proceedings at Scopus Article at Scopus Article at WOS Degrading listsMcDermott, Dylan; Pirog, Maciej; Uustalu, TarmoProceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming (PPDP 2020), Part of BOPL 2020 : The Bologna Federated Conference on Programming Languages, 8-10 September 20202020 / art. 6, 14 p https://doi.org/10.1145/3414080.3414084 Conference proceedings at Scopus Article at Scopus The delay monad and restriction categoriesUustalu, Tarmo; Veltri, NiccoloTheoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium Hanoi, Vietnam, October 23-27, 2017 : proceedings2017 / p. 32-50 https://doi.org/10.1007/978-3-319-67729-3_3 Directed containers as categoriesAhman, Danel; Uustalu, TarmoProceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 20162016 / p. 89-98 http://doi.org/10.4204/eptcs.207.5 Distributive laws of directed containers : [extended abstract]Ahman, Danel; Uustalu, Tarmo11th International Workshop on Coalgebraic Methods in Computer Science : CMCS 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : short contributions2012 / [p. 1-3] A divertimento on MonadPlus and nondeterminismUustalu, TarmoJournal of logical and algebraic methods in programming2016 / p. 1086-1094 : ill https://doi.org/10.1016/j.jlamp.2016.06.004 Doktoriõpe pole ülikoolide siseasi : [24. okt. TTÜs toimunud doktoriõpet käsitlevast konverentsist]Mõttus, Anu; Vaikmäe, Rein; Uustalu, TarmoÕpetajate Leht2007 / 2. nov., lk. 3 Eesti arvutiteadus Viinistul : [TTÜ küberneetika instituudi korraldatud arvutiteaduse teooriapäevadest Viinistul ja programmeerimise konverentsist Tallinnas]Uustalu, TarmoIT ja Side2005 / 6, lk. 15 Eilenberg-Kelly reloadedUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamElectronic notes in theoretical computer science2020 / p. 233-256 https://doi.org/10.1016/j.entcs.2020.09.012 Journal metrics at Scopus Article at Scopus Article at WOS Esimene arvutiteaduse teooriapäevUustalu, TarmoUniversitas Tartuensis2002 / 8. nov., lk. 2 Estonian code of conduct for research integrity2017 http://www.ester.ee/record=b4761004*est 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 https://www.ester.ee/record=b2288232*est Euroopa rakendussemantika Mustpeade Majas : [14.-16. apr. 2004 toimus TTÜ Küberneetika Instituudi korraldatud rahvusvaheline workshop APPSEM'04 programmikeelte semantikast ja selle rakendustest]Uustalu, TarmoMente et Manu2004 / 13. mai, lk. 2 : fot https://www.ester.ee/record=b1242496*est Experimenting with graded monads: certified grading-based program transformationsTalvik, Tõnn; Uustalu, Tarmo24th International Conference on Types for Proofs and Programs : TYPES 2018, Braga, Portugal, 18-21 June, 2018 : abstracts2018 / p. 82-83 https://types2018.projj.eu/book-of-abstracts/ Finiteness and rational sequences, constructivelyUustalu, Tarmo; Veltri, NiccoloJournal of functional programming2017 / art. e13, p. 1-20 https://doi.org/10.1017/S0956796817000041 Flexible presentations of graded monadsKatsumata, Shin-ya; McDermott, Dylan; Uustalu, Tarmo; Wu, NicolasProceedings of the ACM on Programming Languages2022 / art. 123, 28 p. https://doi.org/10.1145/3547654 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS Flexibly graded monads and graded algebrasMcDermott, Dylan; Uustalu, TarmoMathematics of Program Construction : 14th International Conference on Mathematics of Program Construction, MPC 2022, Tblilisi, September 26-28, 2022 : proceedings2022 / p. 102-128 : ill https://doi.org/10.1007/978-3-031-16912-0_4 Conference Proceeding at Scopus Article at Scopus Article at WOS Conference proceeding at WOS ForefordUustalu, TarmoICFP'13 : proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming2013 / p. iii ForewordVain, Jüri; Uustalu, TarmoProceedings of the Estonian Academy of Sciences. Physics. Mathematics2003 / 4, p. 334 Formalizing restriction categoriesChapman, James; Uustalu, Tarmo; Veltri, NiccoloJournal of formalized reasoning2017 / p. 1-36 https://doi.org/10.6092/issn.1972-5787/6237 14th Nordic Workshop on Programming Theory : NWPT 2002, Tallinn, Estonia, 20-22 November 2002 : abstractsVain, Jüri; Uustalu, Tarmo2002 https://www.ester.ee/record=b1710210*est Generating representative executions : extended abstractMaarand, Hendrik; Uustalu, Tarmo10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software : PLACES 2017 : Uppsala, Sweden, 29 April 20172017 / p. 39-48 : ill http://dx.doi.org/10.4204/EPTCS.246.8 Guest editors' forewordUustalu, Tarmo; Vain, JüriJournal of logical and algebraic methods in programming2016 / p. 1109 http://dx.doi.org/10.1016/j.jlamp.2016.10.004 Hea teadustava2017 http://www.ester.ee/record=b4761000*est https://www.eetika.ee/sites/default/files/www_ut/hea_teadustava_trukis.pdf 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 Interaction laws of monads and comonadsKatsumata, Shin-ya; Rivas, Exequiel; Uustalu, TarmoarXiv.org2019 / 28 p. : ill https://arxiv.org/abs/1912.13477 Interaction laws of monads and comonadsKatsumata, Shin-ya; Rivas, Exequiel; Uustalu, TarmoProceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) : July 8-11, 2020 Saarbrücken, Germany2020 / p. 604-618 https://doi.org/10.1145/3373718.3394808 Conference Proceedings at Scopus Article at Scopus Article at WOS Interaction morphisms [extended abstract]Katsumata, Shin-ya; Uustalu, TarmoCoALP-Ty'16 : pre-proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and Types : November 28-29, 2016, Edinburgh, UK2016 / p. 7-8 https://arxiv.org/pdf/1612.03032.pdf Iteration and coiteration schemes for higher-order and nested datatypesAbel, Andreas; Matthes, Ralph; Uustalu, TarmoTheoretical computer science2005 / 1/2, p. 3-66 Journal of logical and algebraic methods in programming. Vol. 85, iss. 6, NWPT 20132016 Kas tehismõistus peaks aru andma?Uustalu, TarmoEesti Teaduste Akadeemia aastaraamat = Annales academiae scientarum Estonicae 20162017 / lk. 66-68 : portr http://www.ester.ee/record=b1218094*est Kokelt Palmsesse - arvutiteaduse probleemid kaasas : [IV Eesti arvutiteaduse teooriapäevad 30. jaan.-1. veebr. 2004 Harjumaal Kokel ja 9. Eesti Arvutiteaduse Talvekool 29. veebr.-5. märts 2004 Palmses]Uustalu, TarmoMente et Manu2004 / 30. märts, lk. 6 : fot https://www.ester.ee/record=b1242496*est Käivitus mastaapne ITala europrojekt : [eVikings II projekt on Euroopa Liidu 5. raamprogrammi infoühiskonna tehnoloogiate (IST) alaprogrammile esitatud kaasnevate meetmete projekt, projekti koordinaator on TTÜ Küberneetika Instituut, lepinguosaline ka TTÜ]Uustalu, TarmoMente et Manu2003 / 4. veebr., lk. 2 https://www.ester.ee/record=b1242496*est Logics for low-level code and proof-preserving program transformations = Loogikad madala taseme koodile ja tõestusi säilitavad programmiteisendusedSaabas, Ando2008 https://www.ester.ee/record=b2431341*est Logics of skew categorical structuresUustalu, Tarmo; Veltri, Niccolo; Wan, Cheng-SyuanLogic4Peace : fundraising online logic event for peace, April 22-23, 2022 : book of abstracts2022 / p. 81-82 https://events.illc.uva.nl/Logic4Peace/uploaded_files/inlineitem/slides/Uustalu-et-al_L4P-slides.pdf Machine assisted proofs in the theory of monadsAltenkirch, Thorsten; Chapman, James; Uustalu, Tarmo21st Nordic Workshop on Programming Theory : NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : proceedings2009 / p. 83-85 https://jmchapman.io/papers/Assisted_Monads.pdf Matemaatiline tarkvaratehnoloogia Saaremaal : [rahvusvahelisest konverentsist]Uustalu, TarmoAastaraamat 2006 / Eesti Matemaatika Selts2007 / lk. 136-138 Mathematics of Program Construction : 8th International Conference, MPC 2006 : Kuressaare, Estonia, July 2006 : proceedingsUustalu, Tarmo2006 https://www.ester.ee/record=b2160527*est Millised kogremused on teil õppimisest ja õpetamisest välismaal? : [küsimusele vastab ka Tarmo Uustalu]Uustalu, TarmoÕpetajate Leht2009 / 13. nov., lk. 3 MOBIUS: mobiilsus, ubikviteet, turvalisus! : [alates septembrist osaleb TTÜ Küberneetika Instituut EL 6. raamkava infoühiskonna tehnoloogiate (IST) prioriteetse teemavaldkonna projekti MOBIUS konsortsiumis]Uustalu, TarmoMente et Manu2005 / 30. nov., lk. 4 https://artiklid.elnet.ee/record=b2351998*est Modal embeddings and calling paradigmsEspirito Santo, Jose; Pinto, Luis; Uustalu, Tarmo4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 20192019 / art. 18 ; 20 p. : ill https://doi.org/10.4230/LIPIcs.FSCD.2019.18 Conference Proceedings at Scopus Article at Scopus Modal embeddings and calling paradigmsSanto, José Espírito; Pinto, Luís; Uustalu, TarmoDays in Logic 2022 : Universidade do Algrave, June 30-July 2, 20222022 / 20 p https://drops.dagstuhl.de/opus/volltexte/2019/10525/pdf/LIPIcs-FSCD-2019-18.pdf https://daysinlogic2022.ualg.pt/wp-content/uploads/2022/06/BookletDiL2022.pdf Monadic augment and generalised short cut fusionGhani, Neil; Johan, Patricia; Uustalu, Tarmo; Vene, VarmoICFP'05 : Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming : September 26-28, 2005, Tallinn, Estonia2005 / p. 294-305 Monads need not be endofunctorsAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoLogical methods in computer science2015 / p. 1-40 http://dx.doi.org/10.2168/LMCS-11(1:3)2015 Normalization by evaluation for lambda 2Altenkirch, Thorsten; Uustalu, TarmoFunctional and Logic Programming : 7th International Symposium, FLOPS 2004 : Nara, Japan, April 7-9, 2004 : proceedings2004 / p. [260]-275 Näilik efektiivsus ja kvaliteet : projektipõhine teaduskorraldus taandab teadlased juhutöölisteksUustalu, TarmoSirp2014 / lk. 34-35 On streams that are finitely redBezem, Marc; Nakata, Keiko; Uustalu, TarmoLogical methods in computer science2012 / p. 1-20 https://www.researchgate.net/publication/231582269_On_streams_that_are_finitely_red Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantikaMaarand, Hendrik2020 https://digikogu.taltech.ee/et/Item/40485316-9724-464b-9428-5686ad3814eb Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, TarmoJournal of logical and algebraic methods in programming2021 / art. 100677, 27 p https://doi.org/10.1016/j.jlamp.2021.100677 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, Tarmo31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 40-43 https://doi.org/10.23658/taltech.nwpt/2019 https://cs.ttu.ee/events/nwpt2019/abstracts/paper24.pdf Palmse, märts ja teoreetiline arvutiteadusUustalu, TarmoMente et Manu2016 / lk. 7-9 : fot Paneme masina aru andmaUustalu, TarmoPostimees2016 / AK, lk. 9 Partiality and container monadsUustalu, Tarmo; Veltri, NiccoloProgramming Languages and Systems : 15th Asian Symposium, APLAS 2017,Suzhou, China, November 27–29, 2017 : proceedings2017 / p. 406-425 : ill http://dx.doi.org/10.1007/978-3-319-71237-6_20 Partiality and container monadsUustalu, Tarmo; Veltri, Niccolo23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017 : abstracts2017 / p. 99-100 http://types2017.elte.hu/proc.pdf#page=107 Partiality via coinductive types (abstract)Uustalu, TarmoOberwolfach reports / European Mathematical Society2005 / p. 807 Plotkin's call-by-value λ-calculus as a modal calculusEspírito Santo, José; Pinto, Luis; Uustalu, TarmoJournal of Logical and Algebraic Methods in Programming2022 / art. 100775, 17 p https://doi.org/10.1016/j.jlamp.2022.100775 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS PrefaceUustalu, Tarmo; Vain, Jüri31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. iii https://doi.org/10.23658/taltech.nwpt/2019 PrefaceFischer, Bernd; Uustalu, TarmoTheoretical Aspects of Computing - ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings2018 / p. V-VI https://link.springer.com/content/pdf/bfm%3A978-3-030-02508-3%2F1.pdf https://www.ester.ee/record=b5174218*est https://doi.org/10.1007/978-3-030-02508-3 Conference Proceedings at Scopus Article at Scopus Programm PARROTilt Tehnikaülikoolile : [Eesti-Prantsuse teadus- ja tehnoloogiaalase koostööprogrammi raames rahastatakse 2003. a. 10 rahvusvahelise teadlastegrupi koostööd, sh teadlased TTÜst : Tarmo Uustalu kommentaariga]Kurss, Helen; Uustalu, TarmoMente et Manu2003 / 4. veebr., lk. 3 https://www.ester.ee/record=b1242496*est Programmeerijad jäid rahule : [23. sept.-1. okt. peetud programmikeelte ja tarkvaratehnoloogia ühendkonverentsist ja sellele järgnenud seminarist Kalvi mõisas 1.-4. okt. : vastab üks konverentsi korraldajaist Tarmo Uustalu]Uustalu, TarmoMente et Manu2005 / 19. okt., lk. 2 https://www.ester.ee/record=b1242496*est Programmikeelte suurkonverents : [ühendkonverents TFP/ICFP/GPCP 2005 Tallinnas]Uustalu, TarmoTallinna Tehnikaülikooli aastaraamat 20052006 / lk. 391-393 Proof theory of partially normal skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-17 https://doi.org/10.48550/arXiv.2101.10487 Conference Proceedings at Scopus Article at Scopus Article at WOS Proof theory of skew non-commutative MILLUustalu, Tarmo; Veltri, Niccolo; Wan, Cheng-SyuanProceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 20222022 / p. 118-135 https://doi.org/10.4204/EPTCS.358.9 Conference Proceedings at Scopus Article at Scopus Article at WOS 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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccoloMathematical structures in computer science2019 / p. 67-92 https://doi.org/10.1017/s0960129517000184 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, Niccolo21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts2015 / p. 38-39 Rahvusvaheline Eesti arvutiteadus : [arvutiteaduse teooriapäevadest. Bergeni professori loengukursusest. Arvutiteaduse talvekoolist. Tulevatest suvesündmustest]Uustalu, TarmoMente et Manu2005 / 6. apr., lk. 9, 10 : fot https://www.ester.ee/record=b1242496*est Reasoning about correctness of transactional memory with operational semanticsSaar, Andri; Uustalu, TarmoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis2010 / lk. 145-148 Relative monads formalisedAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoJournal of formalized reasoning2014 / p. 1-43 Reordering derivatives of trace closures of regular languages [Online resource]Maarand, Hendrik; Uustalu, Tarmo30th International Conference on Concurrency Theory : (CONCUR 2019)2019 / art. 40 ; 40:1–40:16 https://doi.org/10.4230/LIPIcs.CONCUR.2019.40 Conference Proceedings at Scopus Article at Scopus Seitse aastat soosingutUustalu, TarmoMente et Manu2015 / lk. 9-11 : fot The sequent calculus of skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamThe interplay of mathematics, logic, and linguistics2021 / p. 377-406 https://doi.org/10.1007/978-3-030-66545-6_11 The sequent calculus of skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamElectronic notes in theoretical computer science2018 / p. 345-370 https://doi.org/10.1016/j.entcs.2018.11.017 Journal metrics at Scopus Article at Scopus Article at WOS Signals and comonadsUustalu, Tarmo; Vene, VarmoProceedings of 9th Brazilian Symposium on Programming Languages : SBLP'05 : Recife, Brazil, May 23-25, 20052005 / p. 215-228 Signals and comonadsUustalu, Tarmo; Vene, VarmoJournal of universal computer science2005 / 7, p. 1310-1326 https://www.jucs.org/jucs_11_7/signals_and_comonads.html Sisust ja mainestUustalu, TarmoA & A2008 / lk. 5-7 https://artiklid.elnet.ee/record=b1022326*est 6th Workshop on Fixed Points in Computer Science : FICS 2009 : Coimbra, Portugal, 12-13 September 2009 : proceedingsMatthes, Ralph; Uustalu, Tarmo2009 https://www.ester.ee/record=b2506216*est Stateful runners of effectful computationsUustalu, TarmoElectronic notes in theoretical computer science2015 / p. 403-421 http://dx.doi.org/10.1016/j.entcs.2015.12.024 Structured general corecursion and coinductive graphs [extended abstract]Uustalu, TarmoEPTCS 77 : proceedings of the 8th Workshop on Fixed Points in Computer Science : Tallinn, Estonia, 24th March 20122012 / p. 55-61 Sweedler theory of monadsMcDermott, Dylan; Rivas, Exequiel; Uustalu, TarmoFoundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings2022 / p. 428-448 https://doi.org/10.1007/978-3-030-99253-8_22 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS Taking updates seriouslyAhman, Danel; Uustalu, Tarmo6th International Workshop on Bidirectional Transformations, BX 2017 : Uppsala, Sweden, 29 April 20172017 / p. 59-73 : ill http://ceur-ws.org/Vol-1827/paper11.pdf Talvises Palmses arvutiteaduse musti auke lappimas : [2.-7. märtsil Palmses toimunud kaheksandast Eesti arvutiteaduse talvekoolist EWSCS'03]Uustalu, TarmoMente et Manu2003 / 1. apr., lk. 2 : fot https://www.ester.ee/record=b1242496*est Tarkvaratehnoloogiast Saaremaal : [2.-8. juulini toimunud matemaatilise tarkvaratehnoloogia ühendkonverentsist MPC/AMAST 2006]Uustalu, TarmoMente et Manu2006 / 20. sept., lk. 3 https://www.ester.ee/record=b1242496*est Teadus ja väärtusUustalu, TarmoTeadusmõte Eestis (VIII). Teaduskultuur : [artiklikogumik]2013 / lk. 10-15 : portr Teaduse tippkeskus infotehnoloogia alal : [Töökindlate Arvutisüsteemide Uurimise Keskusest]Uustalu, TarmoEesti aastaraamat 2006-20072006 / lk. 175-184 : fot Teaduspreemia täppisteaduste alal tööde tsükli "Matemaatilised struktuurid funktsionaalprogrammeerimises" eest : Tarmo UustaluUustalu, TarmoEesti Vabariigi preemiad : teadus. F. J. Wiedemanni keeleauhind. Kultuur. Sport2015 / lk. 52-62 : portr Tehnikaülikoolis on uus akadeemik - Tarmo Uustalu : [intervjuu Tarmo Uustaluga]Uustalu, TarmoMente et Manu2011 / lk. 3, 4 : fot https://www.ester.ee/record=b1242496*est The essence of dataflow programming (short version)Uustalu, Tarmo; Vene, VarmoProgramming Languages and Systems : Third Asian Symposium : APLAS 2005 : Tsukuba, Japan, November 2-5, 2005 : proceedings2005 / p. 2-18 The journal of logic and algebraic programming2010 https://www.ester.ee/record=b1200932*est 2nd APPSEM II Workshop : APPSEM 2004 : Tallinn, Estonia, 14-16 April 2004 : proceedingsUustalu, Tarmo; Saabas, Ando2004 https://www.ester.ee/record=b1893488*est 31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts [Online resource]2019 https://doi.org/10.23658/taltech.nwpt/2019 https://www.ester.ee/record=b5292609*est 25th Nordic Workshop on Programming Theory NWPT 2013 : Tallinn, Estonia, 20-22 November 2013 : abstracts [Electronic resource]2013 https://www.ester.ee/record=b3039924*est Theoretical Aspects of Computing - ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings2018 https://www.ester.ee/record=b5174218*est http://doi.org/10.1007/978-3-030-02508-3 Tipptaseme arvutiteaduse konverents Tallinnas : [23. sept.-1. okt. : korraldas TTÜ Küberneetika Instituut]Uustalu, TarmoMente et Manu2005 / 5. okt., lk. 3 https://www.ester.ee/record=b1242496*est Toimus esimene arvutiteaduse teooriapäev : [16.-17. okt. Roosta puhkekülas Noarootsis : korraldas TTÜ Küberneetika Instituut]Uustalu, TarmoMente et Manu2002 / 29. okt., lk. 1, 4 https://www.ester.ee/record=b1242496*est 20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstractsUustalu, Tarmo; Vain, Jüri; Ernits, Juhan-Peep2008 https://www.ester.ee/record=b2435749*est 21st International Conference on Types for Proofs and Programs : TYPES 2015, May 18-21, 2015, Tallinn, Estonia [Online resource]2018 http://doi.org/10.4230/lipics.types.2015.0 http://www.dagstuhl.de/dagpub/978-3-95977-030-9 21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts2015 http://www.ester.ee/record=b4473137*est 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 Conference proceedings at Scopus Article at Scopus Type systems equivalent to dataflow analyses for imperative languagesLaud, Peeter; Uustalu, Tarmo; Vene, VarmoProceedings of 3rd APPSEM II Workshop : APPSEM'05 : Frauenchiemsee, September 20052005 / [12] p Type systems for optimizing stack-based codeSaabas, Ando; Uustalu, TarmoInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum2007 / lk. 97-100 A type-theoretical study of nontermination = Tüübiteoreetiline uurimus mittetermineeruvusestVeltri, Niccolo2017 https://digi.lib.ttu.ee/i/?7631 Upwards accumulations and comonad structure : (abstract)Uustalu, Tarmo; Vene, Varmo14th Nordic Workshop on Programming Theory : NWPT 2002, Tallinn, Estonia, 20-22 November 2002 : abstracts2002 / p. 95-96 Variations on NoetheriannessFirsov, Denis; Uustalu, Tarmo; Veltri, NiccoloProceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 20162016 / p. 76-88 : ill http://doi.org/10.4204/eptcs.207.4 Welcome to TFP, ICFP and GPCE 2005 in TallinnUustalu, TarmoTFP/ICFP/GPCE 2005 : Tallinn, Estonia, 23 September - 1 October 2005 : final programme2005 / p. 3 What makes a strong monad?McDermott, Dylan; Uustalu, TarmoProceedings of the Ninth Workshop on Mathematically Structured Functional Programming2022 / p. 113-133 https://doi.org/10.4204/EPTCS.360.6 Conference Proceedings at Scopus Article at Scopus Article at WOS When is a container a comonad?Ahman, Danel; Chapman, James; Uustalu, TarmoFoundations of Software Science and Computational Structures : 15th International Conference, FOSSACS 2012, Held as Part of The European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings2012 / p. 74-88 : ill When is a container a comonad?Ahman, Danel; Chapman, James; Uustalu, TarmoLogical methods in computer science2014 / p. 1-48 : ill Viikingisõit läbi : [TTÜ Küberneetika Instituut lõpetas EL 5. raamprogrammi infoühiskonna tehnoloogiate alaprogrammi projekti eVikings II]Uustalu, TarmoMente et Manu2005 / 16. nov., lk. 3 https://www.ester.ee/record=b1242496*est Workshop on Mathematically Structured Functional Programming : MSFP 2006 : Kuressaare, Estonia, 2 July 2006 : proceedings2006 http://www.ester.ee/record=b2155741*est Värv ja sära Palmses : [13. Eesti arvutiteaduse talvekoolist]Uustalu, TarmoA & A2008 / lk. 58-59 : fot Värv ja sära Palmses : [13. Eesti arvutiteaduse talvekoolist]Uustalu, TarmoMente et Manu2008 / lk. 2 : fot https://artiklid.elnet.ee/record=b2380423*est Õhinapõhine teadus vs teaduse toiduahel : [vestlus TTÜ professori Tarmo Uustaluga]Kello, Karl; Uustalu, TarmoÕpetajate Leht2013 / lk. 13 О некоторых классах наследственно перечислимых множествUustalu, Tarmo; Lorents, PeeterИзвестия Академии наук Эстонии. Физика. Математика1990 / 2, с. 108-112