Parameterized algebraic protocols
Abstract: We propose algebraic protocols that enable the definition of protocol templates and session types analogous to the definition of domain-specific types with algebraic datatypes. Parameterized algebraic protocols subsume all regular as well as most context-free and nested session types and, at the same time, replace the expensive superlinear algorithms for type checking by a nominal check that runs in linear time. Algebraic protocols in combination with polymorphism increase expressiveness and modularity by facilitating new ways of parameterizing and composing session types
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Proceedings of the ACM on programming languages : (PACMPL). - 7, PLDI (2023) , 1389-1413, ISSN: 2475-1421
- Event
-
Veröffentlichung
- (where)
-
Freiburg
- (who)
-
Universität
- (when)
-
2024
- Creator
- DOI
-
10.1145/3591277
- URN
-
urn:nbn:de:bsz:25-freidok-2539866
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:49 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Mordido, Andreia
- Spaderna, Janek
- Thiemann, Peter
- Vasconcelos, Vasco
- Albert-Ludwigs-Universität Freiburg. Programmiersprachen
- Universität
Time of origin
- 2024
Other Objects (12)
Commutativity simplifies proofs of parameterized programs
An ultraweak variational method for parameterized linear differential-algebraic equations
Development of communication protocols with algebraic temporal specifications
Geometry of intersections of some secant varieties to algebraic curves
Algebraic geometry and p-adic numbers for scattering amplitude ansätze
Optimizing protocols for arabidopsis shoot and root protoplast cultivation
Parameterized approximability
Parameterized maximization
Parameterized randomization
Parameterized complexity
Optimized Translation of XPath into Algebraic Expressions Parameterized by Programs Containing Navigational Primitives
Posture control - human-inspired approaches for humanoid robot benchmarking: conceptualizing tests, protocols and analyses
Commutativity simplifies proofs of parameterized programs
An ultraweak variational method for parameterized linear differential-algebraic equations
Development of communication protocols with algebraic temporal specifications
Geometry of intersections of some secant varieties to algebraic curves
Algebraic geometry and p-adic numbers for scattering amplitude ansätze
Optimizing protocols for arabidopsis shoot and root protoplast cultivation
Parameterized approximability
Parameterized maximization
Parameterized randomization
Parameterized complexity
Optimized Translation of XPath into Algebraic Expressions Parameterized by Programs Containing Navigational Primitives
Posture control - human-inspired approaches for humanoid robot benchmarking: conceptualizing tests, protocols and analyses
Commutativity simplifies proofs of parameterized programs
An ultraweak variational method for parameterized linear differential-algebraic equations
Development of communication protocols with algebraic temporal specifications
Geometry of intersections of some secant varieties to algebraic curves
Algebraic geometry and p-adic numbers for scattering amplitude ansätze
Optimizing protocols for arabidopsis shoot and root protoplast cultivation
Parameterized approximability
Parameterized maximization
Parameterized randomization
Parameterized complexity
Optimized Translation of XPath into Algebraic Expressions Parameterized by Programs Containing Navigational Primitives