Cite
HARVARD Citation
MYREEN, M. et al. (2014). Proof-producing translation of higher-order logic into pure and stateful ML. Journal of functional programming. 24 (2), pp. 284-315. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
MYREEN, M. et al. (2014). Proof-producing translation of higher-order logic into pure and stateful ML. Journal of functional programming. 24 (2), pp. 284-315. [Online].