×

Found 17 Documents (Results 1–17)

Newest Citations Relevance
Ahman, Danel

When programs have to watch paint dry. (English) Zbl 07770329

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 1-23 (2023).
MSC:  68Nxx 68Qxx
Cite Review PDF
Full Text: DOI arXiv
OA License
Dandy, Liliane-Joy; Jeandel, Emmanuel; Zamdzhiev, Vladimir

Type-safe quantum programming in Idris. (English) Zbl 1541.68093

Wies, Thomas (ed.), Programming languages and systems. 32nd European symposium on programming, ESOP 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13990, 507-534 (2023).
MSC:  68N19 68N15 68Q12 81P68
Cite Review PDF
Full Text: DOI arXiv
OA License
Allais, Guillaume

Builtin types viewed as inductive families. (English) Zbl 1541.68081

Wies, Thomas (ed.), Programming languages and systems. 32nd European symposium on programming, ESOP 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13990, 113-139 (2023).
MSC:  68N18 03B70 68P05
Cite Review PDF
Full Text: DOI arXiv
OA License
Choudhury, Pritam; Eades, Harley III; Weirich, Stephanie

A dependent dependency calculus. (English) Zbl 1528.68078

Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 403-430 (2022).
MSC:  68N30 03B70 68N18
Cite Review PDF
Full Text: DOI arXiv
OA License
Wood, James; Atkey, Robert

A framework for substructural type systems. (English) Zbl 1528.68087

Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 376-402 (2022).
MSC:  68N30 03B70 68N18 68V20
Cite Review PDF
Full Text: DOI
OA License
Zalakain, Uma; Dardha, Ornela

\( \pi\) with leftovers: a mechanisation in Agda. (English) Zbl 1490.68143

Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 157-174 (2021).
MSC:  68Q85 03B70 68N30 68Q60 68V20
Cite Review PDF
Full Text: DOI arXiv
Moon, Benjamin; Eades, Harley III; Orchard, Dominic

Graded modal dependent type theory. (English) Zbl 1473.68052

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 462-490 (2021).
MSC:  68N30 03B70
Cite Review PDF
Full Text: DOI arXiv
OA License
Fukihara, Yōji; Katsumata, Shin-ya

Generalized bounded linear logic and its categorical semantics. (English) Zbl 07410427

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 226-246 (2021).
MSC:  68Nxx 68Qxx
Cite Review PDF
Full Text: DOI
OA License
Kravchuk-Kirilyuk, Anastasiya; Voizard, Antoine; Weirich, Stephanie

\(\eta\)-equivalence in core dependent Haskell. (English) Zbl 1535.68044

Bezem, Marc (ed.) et al., 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 175, Article 7, 31 p. (2020).
MSC:  68N18
Cite Review PDF
Full Text: DOI
Sterling, Jonathan; Angiuli, Carlo; Gratzer, Daniel

Cubical syntax for reflection-free extensional equality. (English) Zbl 1528.03113

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 31, 25 p. (2019).
MSC:  03B38 03G30
Cite Review PDF
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Author

Serial

Year of Publication

all top 3

Main Field

all top 3

Software