Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel kogumikus EST / artikkel kogumikus ENG

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 20222023 / 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

2

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

3

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

4

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

5

artikkel kogumikus EST / artikkel kogumikus ENG

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

artikkel kogumikus EST / artikkel kogumikus ENG

6

artikkel kogumikus EST / artikkel kogumikus ENG

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

artikkel kogumikus EST / artikkel kogumikus ENG

7

artikkel kogumikus EST / artikkel kogumikus ENG

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

artikkel kogumikus EST / artikkel kogumikus ENG

McDermott, Dylan (autor)

teaviku laadid

autor 3