DMCA

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

Cached

Download Links

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