Structural refinement types

DSpace Repositorium (Manakin basiert)

Structural refinement types

Autor(en): Binder, David; Skupin, Ingo; Läwen, David; Ostermann, Klaus
Tübinger Autor(en):
Binder, David
Skupin, Ingo
Ostermann, Klaus
Erscheinungsjahr: 2022-09-06
Verlagsangabe: ACM
Sprache: Englisch
Referenz zum Volltext: https://doi.org/10.1145/3546196.3550163
DDC-Klassifikation: 004 - Informatik
Dokumentart: Konferenzveröffentlichung
Zur Langanzeige

Das Dokument erscheint in: