search

JHU-PL-Lab / sato

Sato, the Symbolic Analysis Typechecker for Odefa, dynamically locates type errors using demand-driven symbolic execution.
3 stars 0 forks source link

Lookup refactor #11

Closed kelvinqian00 closed 4 years ago