- Sprache
-
Englisch
- Identifier
-
sid~55069
- Reihe
-
30th European Symposium on Programming, ESOP 2021, (Jan. 2021)
Thema
Conference/Talk
Beteiligte Personen und Organisationen
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
Erschienen
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V., 2021
- DOI
- Rechteinformation
-
Nähere Angaben zur Lizenz und den Nutzungsbedingungen unter: https://av.tib.eu/media/55069
- Letzte Aktualisierung
-
18.04.2023, 12:34 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Audiovisuelles Material
Beteiligte
- Das, Ankush
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- DeYoung, Henry
- Mordido, Andreia
- Pfenning, Frank
Entstanden
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V., 2021
Ähnliche Objekte (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