Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back (Englisch)
- Neue Suche nach: Brachthäuser, Jonathan
- Neue Suche nach: Schuster, Philipp
- Neue Suche nach: Brachthäuser, Jonathan
- Neue Suche nach: Schuster, Philipp
- Neue Suche nach: Universitaet Tuebingen
2022
- Sonstige / Elektronische Ressource
-
Titel:Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back
-
Beteiligte:Brachthäuser, Jonathan ( Autor:in ) / Schuster, Philipp ( Autor:in ) / Universitaet Tuebingen ( Gastgebende Institution )
-
Verlag:
- Neue Suche nach: ACM
-
Erscheinungsdatum:2022
-
DOI:
-
Medientyp:Sonstige
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 004
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 004 -
Datenquelle: