Originalsprog | Udefineret/Ukendt |
---|---|
Titel | Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software |
Publikationsdato | 2011 |
Status | Udgivet - 2011 |
Compositional Data Types - A Report from the Field
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning