3 ms·
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 http://homepages.inf.ed.ac.uk/wadler/p
by iswim 9y 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 http://homepages.inf.ed.ac.uk/wadler/papers/qdsl/curryon.pdf