A Compositional Logic for Polymorphic Higher-Order Functions (2004)

Cached

Download Links

by Kohei Honda , Nobuko Yoshida
Venue:PPDP'04
Citations:26 - 11 self