batterseapower / termination-combinators Goto Github PK
View Code? Open in Web Editor NEWTermination combinators for forcing non-terminating algorithms to terminate
Home Page: http://www.cl.cam.ac.uk/~mb566/papers/termination-combinators-hs11.pdf
License: BSD 3-Clause "New" or "Revised" License