Structural refinement types

DSpace Repository

Structural refinement types

Author: Binder, David; Skupin, Ingo; Läwen, David; Ostermann, Klaus
Tübinger Autor(en):
Binder, David
Skupin, Ingo
Ostermann, Klaus
Issue year: 2022-09-06
Verlagsangabe: ACM
Language: English
Full text: https://doi.org/10.1145/3546196.3550163
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: ConferenceObject
Show full item record

This item appears in the following Collection(s)