×

Found 6 Documents (Results 1–6)

Newest Citations Relevance
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

Filter Results by …

Document Type

all top 5

Author

Serial

Year of Publication

Main Field

all top 3

Software