Login / Signup

A compositional logic for polymorphic higher-order functions.

Kohei HondaNobuko Yoshida
Published in: PPDP (2004)
Keyphrases