Search Results:

337

Unification of Rational Trees and Minimal Finite Representation for Them

In classical miniKanren interpreters we always deal with finite terms due to occurs check restrictio...

528

In de Heartbeat vertelt het kernteam van [NL Design S...