Dynamic Witnesses for Static Type Errors (or, ill-typed programs usually go wrong) - discu.eu

Lambda the Ultimate

Dynamic Witnesses for Static Type Errors (or, ill-typed programs usually go wrong) http://eric.seidel.io/pub/nanomaly-icfp16.pdf 0 comments 18/6/2016 Admin

Linking pages

GitHub - gasche/icfp2016-papers: Link to preprints for ICFP'16 and co-located events https://github.com/gasche/icfp2016-papers 22 comments

Related searches:

Search whole site: site:eric.seidel.io

Search title: Dynamic Witnesses for Static Type Errors (or, ill-typed programs usually go wrong)

See how to search.

Submit link to: