Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
monaadid (märksõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
25
Vaata veel..
(1/1)
Ekspordi
ekspordi kõik päringu tulemused
(25)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus EST
/
artikkel kogumikus ENG
Algebraic and coalgebraic perspectives on interaction laws
Uustalu, Tarmo
;
Voorneveld, Niels
Programming Languages and Systems : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020 : proceedings
2020
/
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
artikkel kogumikus EST
/
artikkel kogumikus ENG
2
artikkel kogumikus EST
/
artikkel kogumikus ENG
Canonical gradings of monads
Breuvart, Flavien
;
McDermott, Dylan
;
Uustalu, Tarmo
Proceedings of the 5th Annual International Applied Category Theory Conference (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
p. 1-21
https://doi.org/10.4204/eptcs.380.1
https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4328.pdf
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
3
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Coalgebraic update lenses
Ahman, Danel
;
Uustalu, Tarmo
Electronic notes in theoretical computer science
2014
/
p. 25-48 : ill
https://doi.org/10.1016/j.entcs.2014.10.003
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
4
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Codensity lifting of monads and its dual
Katsumata, Shin-ya
;
Sato, Tetsuya
;
Uustalu, Tarmo
Logical methods in computer science
2018
/
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
5
artikkel kogumikus
Combining effects and coeffects via grading
Gaboardi, Marco
;
Katsumata, Shin-ya
;
Orchard, Dominic
;
Breuvart, Flavien
;
Uustalu, Tarmo
ICFP 2016 : proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming : Nara, Japan, September 18-24, 2016
2016
/
p. 476-489
https://doi.org/10.1145/2951913.2951939
artikkel kogumikus
6
artikkel kogumikus
Concurrent monads for shared state
Rivas, Exequiel
;
Uustalu, Tarmo
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming
2024
/
art. 17
https://doi.org/10.1145/3678232.3678249
Article at Scopus
Article at WOS
artikkel kogumikus
7
artikkel kogumikus EST
/
artikkel kogumikus ENG
Container combinatorics : monads and lax monoidal functors
Uustalu, Tarmo
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings
2017
/
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
8
artikkel kogumikus EST
/
artikkel kogumikus ENG
Degrading lists
McDermott, Dylan
;
Pirog, Maciej
;
Uustalu, Tarmo
Proceedings 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 2020
2020
/
art. 6, 14 p
https://doi.org/10.1145/3414080.3414084
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
9
artikkel kogumikus EST
/
artikkel kogumikus ENG
The delay monad and restriction categories
Uustalu, Tarmo
;
Veltri, Niccolo
Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium Hanoi, Vietnam, October 23-27, 2017 : proceedings
2017
/
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
10
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A divertimento on MonadPlus and nondeterminism
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2016
/
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
11
artikkel kogumikus
En garde! Unguarded iteration for reversible computation in the delay monad
Kaarsgaard, Robin
;
Veltri, Niccolo
Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019 : proceedings
2019
/
p. 366-384
https://doi.org/10.1007/978-3-030-33636-3_13
artikkel kogumikus
12
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Flexible presentations of graded monads
Katsumata, Shin-ya
;
McDermott, Dylan
;
Uustalu, Tarmo
;
Wu, Nicolas
Proceedings of the ACM on Programming Languages
2022
/
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
13
artikkel kogumikus EST
/
artikkel kogumikus ENG
Flexibly graded monads and graded algebras
McDermott, Dylan
;
Uustalu, Tarmo
Mathematics of Program Construction : 14th International Conference on Mathematics of Program Construction, MPC 2022, Tblilisi, September 26-28, 2022 : proceedings
2022
/
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
14
artikkel kogumikus EST
/
artikkel kogumikus ENG
Interaction laws of monads and comonads
Katsumata, Shin-ya
;
Rivas, Exequiel
;
Uustalu, Tarmo
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) : July 8-11, 2020 Saarbrücken, Germany
2020
/
p. 604-618
https://doi.org/10.1145/3373718.3394808
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
15
artikkel ajakirjas
Interaction laws of monads and comonads
Katsumata, Shin-ya
;
Rivas, Exequiel
;
Uustalu, Tarmo
arXiv.org
2019
/
28 p. : ill
https://arxiv.org/abs/1912.13477
artikkel ajakirjas
16
artikkel kogumikus
Machine assisted proofs in the theory of monads
Altenkirch, Thorsten
;
Chapman, James
;
Uustalu, Tarmo
21st Nordic Workshop on Programming Theory : NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : proceedings
2009
/
p. 83-85
https://jmchapman.io/papers/Assisted_Monads.pdf
artikkel kogumikus
17
artikkel kogumikus EST
/
artikkel kogumikus ENG
Normalization by evaluation in the delay monad: A case study for coinduction via copatterns and sized types
Abel, Andreas
;
Chapman, James
Proceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014
2014
/
p. 51-67
https://doi.org/10.4204/EPTCS.153.4
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
18
artikkel kogumikus EST
/
artikkel kogumikus ENG
Partiality and container monads
Uustalu, Tarmo
;
Veltri, Niccolo
Programming Languages and Systems : 15th Asian Symposium, APLAS 2017,Suzhou, China, November 27–29, 2017 : proceedings
2017
/
p. 406-425 : ill
https://doi.org/10.1007/978-3-319-71237-6_20
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
19
artikkel kogumikus EST
/
artikkel kogumikus ENG
Partiality and container monads
Uustalu, Tarmo
;
Veltri, Niccolo
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017 : abstracts
2017
/
p. 99-100
https://types2017.elte.hu/proc.pdf#page=107
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
20
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Relative monads formalised
Altenkirch, Thorsten
;
Chapman, James
;
Uustalu, Tarmo
Journal of formalized reasoning
2014
/
p. 1-43
https://doi.org/10.6092/issn.1972-5787/4389
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
21
artikkel kogumikus EST
/
artikkel kogumikus ENG
Slice nondeterminism
Voorneveld, Niels
4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 2023
2023
/
art. 31, 19 p
https://doi.org/10.4230/LIPIcs.ITP.2023.31
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
22
artikkel kogumikus EST
/
artikkel kogumikus ENG
Sweedler theory of monads
McDermott, Dylan
;
Rivas, Exequiel
;
Uustalu, Tarmo
Foundations 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 : proceedings
2022
/
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
artikkel kogumikus EST
/
artikkel kogumikus ENG
23
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
The formal theory of relative monads
Arkor, Nathanael
;
McDermott, Dylan
Journal of pure and applied algebra
2024
/
art. 107676, 107 p. : ill
https://doi.org/10.1016/j.jpaa.2024.107676
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
24
artikkel kogumikus EST
/
artikkel kogumikus ENG
Update monads: Cointerpreting directed containers
Ahman, Danel
;
Uustalu, Tarmo
19th International Conference on Types for Proofs and Programs : TYPES 2013, April 22–26, 2013, Toulouse, France
2014
/
p. 1-23 : ill
https://doi.org/10.4230/LIPIcs.TYPES.2013.1
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
25
artikkel kogumikus EST
/
artikkel kogumikus ENG
What makes a strong monad?
McDermott, Dylan
;
Uustalu, Tarmo
Proceedings of the Ninth Workshop on Mathematically Structured Functional Programming
2022
/
p. 113-133
https://doi.org/10.4204/EPTCS.360.6
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 25, kuvan
1 - 25
märksõna
1
1.
monaadid
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT