Extensional polymorphism. Pages 118--129 of: Twenty-second ACM SIGACT-SIGPLAN symposium on principles of programming languages (1995)

by Catherine Dubois, Francois Rouaix