Cite
APA Citation
SEIDEL, E. L., JHALA, R., & WEIMER, W. (2018). dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong). Journal of functional programming, 28, . http://access.bl.uk/ark:/81055/vdc_100070607805.0x000028