Login / Signup

A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees.

Rafael del Vado Vírseda
Published in: ICTAC (2007)
Keyphrases