A simple algorithm and proof for type inference, Fund (0)

by H P Barendregt Whitehead, A N, B Russell
Venue:Informaticae X