Hacker News
Lobsters
Linking pages
Linked pages
- miniKanren.org http://minikanren.org 81 comments
- https://dl.acm.org/doi/pdf/10.1145/66068.66075 1 comment
- Unification - Eli Bendersky's website https://eli.thegreenplace.net/2018/unification/ 0 comments
- Code and resources for "Handbook of Practical Logic and Automated Reasoning" https://www.cl.cam.ac.uk/~jrh13/atp/index.html 0 comments
- http://www.cs.man.ac.uk/~hoderk/ubench/unification_full.pdf 0 comments
- Co-Egraphs: Streams, Unification, PEGs, Rational Lambdas | Hey There Buddo! https://www.philipzucker.com/coegraph/ 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:philipzucker.com
Search title: Don’t Implement Unification by Recursion | Hey There Buddo!
See how to search.