• Abstract categorical semantics for resourceful functional reactive programmingJeltsch, WolfgangJournal of logical and algebraic methods in programming2016 / p. 1177-1200 : ill https://doi.org/10.1016/j.jlamp.2016.07.001 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-84979619802&origin=inward&txGid=ac9399787ae9356d280d813630adb3f9 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000388062000005
  • 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
  • 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 https://artiklid.elnet.ee/record=b1019505*est
  • Comonadic functional attribute evaluationUustalu, Tarmo; Vene, VarmoTrends in functional programming. Volume 62007 / p. 145-162
  • 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 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-84978390183&origin=inward&txGid=2a6171454c1bafb68bdb41c08ff941bc https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000384382000018
  • ForewordUustalu, TarmoICFP'13 : proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming2013 / p. iii https://www.scopus.com/sourceid/72247 https://www.scopus.com/record/display.uri?eid=2-s2.0-84887206202&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=AUTH%28Uustalu%2C+T.%29&sessionSearchId=896aef7e13933f2474776a93b8f9191d&relpos=65
  • 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
  • Functional incremental computingFirsov, Denis; Jeltsch, WolfgangProceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere2014 / p. 35-38
  • Funktsionaalprogrammeerimine ExcelisLeis, PaulArvutustehnika ja Andmetöötlus1996 / 6, lk. 19-24: ill
  • Numerical method for stability analysis of functionally graded columnsShvartsman, B.S.; Majak, Jüri; Kirs, MaarjusProceedings of the 9th International Conference of DAAAM Baltic Industrial Engineering, 24-26th April 2014, Tallinn, Estonia2014 / p. 65-70 : ill
  • On the border between functional programming and program synthesisTõugu, EnnProceedings of the Estonian Academy of Sciences. Engineering1998 / 2, p. 119-129
  • PhD abstractsHutton, GrahamJournal of functional programming2017 / art. e25, p. 1-18 https://doi.org/10.1017/s0956796817000181
  • Purely functional incremental computingFirsov, Denis; Jeltsch, WolfgangProgramming Languages : 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings2016 / p. 62-77 : ill https://doi.org/10.1007/978-3-319-45279-1_5 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84989313938&origin=inward&txGid=d58e62a6d77b8cc4d66797f2e2971509 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000448734800005
  • Sixth Symposium on Trends in Functional Programming : TFP 2005 : Tallinn, Estonia, 23-24 september 2005 : proceedingsEekelen, M. van2005 https://www.ester.ee/record=b2067158*est
  • 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
  • TFP/ICFP/GPCE 2005 : Tallinn, Estonia, 23 September - 1 October 2005 : final programme2005 https://www.ester.ee/record=b2076119*est
  • Workshop on Mathematically Structured Functional Programming : MSFP 2006 : Kuressaare, Estonia, 2 July 2006 : proceedings2006 http://www.ester.ee/record=b2155741*est