Cite
MLA Citation
ERIC L. SEIDEL et al.. “Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong).” Journal of functional programming, vol. 28, 2018, p. . http://access.bl.uk/ark:/81055/vdc_100070607805.0x000028
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
ERIC L. SEIDEL et al.. “Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong).” Journal of functional programming, vol. 28, 2018, p. . http://access.bl.uk/ark:/81055/vdc_100070607805.0x000028