Type Structure General Terms Algorithms, Languages

by Simon Peyton Jones , Martin Sulzmann