Co-Egraphs: Streams, Unification, PEGs, Rational Lambdas | Hey There Buddo! - discu.eu

Linking pages

Don’t Implement Unification by Recursion | Hey There Buddo! https://www.philipzucker.com/unify/ 60 comments

Linked pages

A systematic approach to deriving incremental type checkers | Proceedings of the ACM on Programming Languages https://dl.acm.org/doi/10.1145/3428195 2 comments

Related searches:

Search whole site: site:www.philipzucker.com

Search title: Co-Egraphs: Streams, Unification, PEGs, Rational Lambdas | Hey There Buddo!

See how to search.

Submit link to: