Intrinsically Typed Sessions with Callbacks (Functional Pearl)

All formalizations of session types rely on linear types for soundness as session-typed communication channels must change their type at every operation. Embedded language implementations of session types follow suit. They either rely on clever typing constructions to guarantee linearity statically,...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 7; číslo ICFP; s. 711 - 739
Hlavní autor:	Thiemann, Peter
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 30.08.2023
Témata:	Concurrent programming languages Concurrent programming structures Software and its engineering domain specific languages session types Agda dependent types
ISSN:	2475-1421, 2475-1421
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!