Structural refinement types

dc.contributor.author	Binder, David
dc.contributor.author	Skupin, Ingo
dc.contributor.author	Ostermann, Klaus
dc.date.accessioned	2023-04-06T06:09:05Z
dc.date.available	2023-04-06T06:09:05Z
dc.date.issued	2022-09-06
dc.identifier.uri	http://hdl.handle.net/10900/139117
dc.language.iso	en	de_DE
dc.publisher	ACM	de_DE
dc.relation.uri	https://doi.org/10.1145/3546196.3550163	de_DE
dc.subject.ddc	004	de_DE
dc.title	Structural refinement types	de_DE
dc.type	ConferenceObject	de_DE
utue.personen.roh	Binder, David
utue.personen.roh	Skupin, Ingo
utue.personen.roh	Läwen, David
utue.personen.roh	Ostermann, Klaus