Higher-Order Functors with Transparent Signatures

Sandip K. Biswas. Higher-Order Functors with Transparent Signatures. In POPL. pages 154-163, 1995.

Abstract

Abstract is missing.