Fairbairn, Jon "A new type-checker for a functional language" Technical Report UCAM-CL-TR-53

Languages mentioned

• Ponder {1989}