Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong).
Saved in:
| Title: | Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong). |
|---|---|
| Authors: | SEIDEL, ERIC L.1, JHALA, RANJIT1, WEIMER, WESTLEY2 eseidel@cs.ucsd.edu |
| Source: | Journal of Functional Programming. 2018, Vol. 28, pN.PAG-N.PAG. 47p. |
| Database: | Mathematics Source |
Be the first to leave a comment!
