Hacker News new | ask | show | jobs
by iswim 3221 days ago
Do you mean F* and some of the work by Phil Wadler et al eg. http://homepages.inf.ed.ac.uk/wadler/papers/qdsl/curryon.pdf