Publikationsdienste
→
Auflistung nach Autor

Auflistung nach Autor "Brachthäuser, Jonathan"

Anzeige der Dokumente 1-2 von 2

Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back

Brachthäuser, Jonathan; Schuster, Philipp (2022-04-29)
Scoped Capabilities for Polymorphic Effects

Brachthäuser, Jonathan (2022-07-22)

Anzeige der Dokumente 1-2 von 2

Veröffentlichen

Stöbern

Gesamter Bestand

Mein Benutzerkonto

Einloggen

Hilfe & Infos