Projects per year
Abstract / Description of output
The data abstraction mechanism of Miranda may be adapted to a dynamically typed programming language by applying ideas from gradual typing.
|Number of pages||16|
|Journal||Journal of Universal Computer Science (J.UCS)|
|Publication status||Published - 1 Jan 2017|
FingerprintDive into the research topics of 'Abstract Data Types without the Types. Dedicated to David Turner on the occasion of his 70'th birthday'. Together they form a unique fingerprint.
- 1 Finished
20/05/13 → 19/11/20