- Language
-
Englisch
- Identifier
-
sid~55069
- Series
-
30th European Symposium on Programming, ESOP 2021, (Jan. 2021)
Subject
Conference/Talk
Contributor
Das, Ankush
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
DeYoung, Henry
Mordido, Andreia
Pfenning, Frank
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
DeYoung, Henry
Mordido, Andreia
Pfenning, Frank
Published
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V., 2021
- DOI
- Rights
-
Nähere Angaben zur Lizenz und den Nutzungsbedingungen unter: https://av.tib.eu/media/55069
- Last update
-
18.04.2023, 12:34 PM CEST
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- Audiovisuelles Material
Associated
- Das, Ankush
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- DeYoung, Henry
- Mordido, Andreia
- Pfenning, Frank
Time of origin
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V., 2021
Other Objects (12)
Gradual session types
Gradual session types
Label-dependent session types
Safely extending procedure types to allow nested procedures as values
Safely extending procedure types to allow nested procedures as values
Duality of session types: the final cut
The nested Sinkhorn divergence to learn the nested distance
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
Nested identification of subjective probabilities
Editable nested fields in Writer
Editable nested fields in Writer
Nested simulations in life insurance
Gradual session types
Gradual session types
Label-dependent session types
Safely extending procedure types to allow nested procedures as values
Safely extending procedure types to allow nested procedures as values
Duality of session types: the final cut
The nested Sinkhorn divergence to learn the nested distance
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
Nested identification of subjective probabilities
Editable nested fields in Writer
Editable nested fields in Writer
Nested simulations in life insurance
Gradual session types
Gradual session types
Label-dependent session types
Safely extending procedure types to allow nested procedures as values
Safely extending procedure types to allow nested procedures as values
Duality of session types: the final cut
The nested Sinkhorn divergence to learn the nested distance
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
Nested identification of subjective probabilities
Editable nested fields in Writer
Editable nested fields in Writer