- Standort
-
Hannover TIB
- Umfang
-
107MB, 00:16:35:05 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
30th European Symposium on Programming, ESOP 2021 ; (Jan. 2021)
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Das, Ankush
DeYoung, Henry
Mordido, Andreia
Pfenning, Frank
- DOI
-
10.5446/55069
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
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
- zweidimensionales bewegtes Bild
Beteiligte
- Das, Ankush
- DeYoung, Henry
- Mordido, Andreia
- Pfenning, Frank
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Gradual session types
Gradual session types
Label-dependent session types
Mixed choice in session types
Relating functional and imperative 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
Polymorphic lambda calculus with context-free session types
Composable partial multiparty session types for open systems
A Nested Logit analysis of the influence of distraction on types of vehicle crashes
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
Gradual session types
Gradual session types
Label-dependent session types
Mixed choice in session types
Relating functional and imperative 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
Polymorphic lambda calculus with context-free session types
Composable partial multiparty session types for open systems
A Nested Logit analysis of the influence of distraction on types of vehicle crashes
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
Gradual session types
Gradual session types
Label-dependent session types
Mixed choice in session types
Relating functional and imperative 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
Polymorphic lambda calculus with context-free session types
Composable partial multiparty session types for open systems
A Nested Logit analysis of the influence of distraction on types of vehicle crashes