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

Constraints in NUTPenjam, Jaan; Tõugu, EnnConstraint programming. NATO ASI series F: vol. 131, Computer and systemssciences1994 / p. 330-349

A framework for modelling, verification and transformation of concurrent imperative programsBortin, MaksymarXiv.org2020 / 57 p https://arxiv.org/abs/2007.02261 https://doi.org/10.48550/arXiv.2007.02261

GK : Implementing full first order default logic for commonsense reasoning (system description)Tammet, Tanel; Draheim, Dirk; Järv, PriitAutomated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022 : proceedings2022 / p. 300-309 https://doi.org/10.1007/978-3-031-10769-6_18 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

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

Logic programmingTepandi, JaakSystems & control encyclopedia. Supplementary volume 21992 / p. 817-818

Logic programmingTepandi, JaakConcise encyclopedia of software engineering1993 / p. 194-195

Logic programming, parallelTepandi, JaakConcise encyclopedia of software engineering1993 / p. 195-196

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

Programmeerimine ja PROLOGHenno, JaakInfotehnoloogia ja täppismajandusteadus = Infotechnology and exact economics = Инфотехнология и точная экономическая наука : vabariikliku teaduslik-praktilise seminari (Tallinn, 3. september 1988.a.) teeside kogumik. 11988 / lk. 132-138 https://www.ester.ee/record=b1249848*est

Programming language implementation and logic programming : 5th Intern. Symposium PLILP '93, Tallinn, August 25-27, 1993 : proceedingsBruynooghe, Maurice; Penjam, Jaan1993 https://www.ester.ee/record=b1036491*est

Prolog ja Olümpose jumaladHenno, Jaak2004 https://www.ester.ee/record=b1980187*est

Prolog ja Olümpose jumaladHenno, JaakArvutustehnika ja Andmetöötlus1988 / lk. [5]-12 : ill https://www.ester.ee/record=b1071940*est

Prolog ja Olympoksen jumalatHenno, Jaak1992 https://www.ester.ee/record=b1019003*est

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

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

Structural synthesis of programs with preconditionsKotkas, VahurProceedings of the Ninth Symposium on Programming Languages and Software Tools : Tartu, Estonia, August 13-14, 20052005 / p. 70-81 : ill

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