Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Liitotsing

Valitud kirjed 0

Uustalu, Tarmo (TTÜ autor)

—

—

Lisa tingimus Lihtotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 146
Vaata veel.. (4/149)
Ekspordi

ekspordi kõik päringu tulemused (146)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
26

artikkel ajakirjas

Coalgebraic update lensesAhman, Danel; Uustalu, TarmoElectronic notes in theoretical computer science2014 / p. 25-48 : ill

artikkel ajakirjas
27

artikkel kogumikus EST / artikkel kogumikus ENG

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 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
28

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG
29

artikkel kogumikus

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

artikkel kogumikus
30

artikkel kogumikus

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

artikkel kogumikus
31

artikkel kogumikus

Comonadic functional attribute evaluationUustalu, Tarmo; Vene, VarmoTrends in functional programming. Volume 62007 / p. 145-162

artikkel kogumikus
32

artikkel kogumikus EST / artikkel kogumikus ENG

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 https://doi.org/10.1007/978-3-319-68953-1_8 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
33

artikkel kogumikus EST / artikkel kogumikus ENG

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 proceeding at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG
34

artikkel kogumikus EST / artikkel kogumikus ENG

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

artikkel kogumikus EST / artikkel kogumikus ENG
35

artikkel kogumikus EST / artikkel kogumikus ENG

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

artikkel kogumikus EST / artikkel kogumikus ENG
36

artikkel kogumikus EST / artikkel kogumikus ENG

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 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
37

artikkel kogumikus EST / artikkel kogumikus ENG

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 https://doi.org/10.4204/eptcs.207.5 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
38

artikkel kogumikus

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] https://cs.ioc.ee/~danel/papers/cmcs12.pdf

artikkel kogumikus
39

artikkel ajakirjas EST / artikkel ajakirjas ENG

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
40

artikkel ajalehes

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 https://artiklid.elnet.ee/record=b2374917*est

artikkel ajalehes
41

artikkel ajakirjas

Eesti arvutiteadus Viinistul : [TTÜ küberneetika instituudi korraldatud arvutiteaduse teooriapäevadest Viinistul ja programmeerimise konverentsist Tallinnas]Uustalu, TarmoIT ja Side2005 / 6, lk. 15

artikkel ajakirjas
42

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG
43

artikkel ajalehes

Esimene arvutiteaduse teooriapäevUustalu, TarmoUniversitas Tartuensis2002 / 8. nov., lk. 2

artikkel ajalehes
44

raamat

Estonian code of conduct for research integrity2017 http://www.ester.ee/record=b4761004*est

raamat
45

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 https://www.ester.ee/record=b2288232*est

artikkel kogumikus
46

artikkel ajalehes

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

artikkel ajalehes
47

artikkel kogumikus

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/

artikkel kogumikus
48

artikkel ajakirjas EST / artikkel ajakirjas ENG

Finiteness and rational sequences, constructivelyUustalu, Tarmo; Veltri, NiccoloJournal of functional programming2017 / art. e13, p. 1-20 https://doi.org/10.1017/S0956796817000041 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
49

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG
50

artikkel kogumikus EST / artikkel kogumikus ENG

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

artikkel kogumikus EST / artikkel kogumikus ENG

Kirjeid leitud 146, kuvan 26 - 50

eelmine
1
2
3
4
5
6
järgmine

1. Tarmo, kaubandus-tööstuse osaühisus

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu