| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software |
| Publication date | 2011 |
| Publication status | Published - 2011 |
Compositional Data Types - A Report from the Field
Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research