Otsing - TalTech teadusportaal

kuva

reasta

1

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

2

artikkel ajakirjas EST / artikkel ajakirjas ENG

Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, 28 p. : ill https://doi.org/10.1145/3434338 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

3

artikkel ajakirjas EST / artikkel ajakirjas ENG

artikkel ajakirjas EST / artikkel ajakirjas ENG

4

artikkel ajakirjas EST / artikkel ajakirjas ENG

SecRef★: Securely Sharing Mutable References betweenVerified and Unverified Code in F★Andrici, Cezar-Constantin; Ahman, Danel; Hritcu, Catalin; Icleanu, Ruxandra; Martinez, Guido; Rivas, Exequiel; Winterhalter, TheoProceedings of the ACM on Programming Languages2025 / art 253, p. 510-540 https://doi.org/10.1145/3747522 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

5

artikkel ajakirjas EST / artikkel ajakirjas ENG

Securing verified IO programs against unverified code in F∗Andrici, Cezar-Constantin; Ciobâca, Stefan; HriÅ£cu, Catalin; Martínez, Guido; Rivas, Exequiel; Tanter, Éric; Winterhalter, ThéoProceedings of the ACM on programming languages2024 / art. 74, 34 p. : ill https://doi.org/10.1145/3632916 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

6

artikkel ajakirjas EST / artikkel ajakirjas ENG

Symbolic Automata: Omega-Regularity Modulo TheoriesVeanes, Margus; Ball, Thomas; Ebner, Gabriel; Zhuchko, EkaterinaProceedings of the ACM on Programming Languages2025 / art. 2, p. 33-66 : ill https://doi.org/10.1145/3704838 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG