98, Language and Libraries. The Revised Report (2003)

by S Peyton Jones
Venue:of JFP. 16 CHAPTER 1. GENERIC PROGRAMMING FOR DOMAIN REASONERS