Cite
HARVARD Citation
DUNFIELD, J. (2014). Elaborating intersection and union types. Journal of functional programming. 24 (2), pp. 133-165. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
DUNFIELD, J. (2014). Elaborating intersection and union types. Journal of functional programming. 24 (2), pp. 133-165. [Online].