Principal Typing and Mutual Recursion (2001)

by Lucília Figueiredo, Carlos Camarão
Venue:INTERNATIONAL WORKSHOP ON FUNCTIONAL AND LOGIC PROGRAMMING (WFLP 2001)