Principal Typing and Mutual Recursion (2001)

by L Figueiredo, C Camarão
Venue:In Proc. of the International Workshop on Functional and Logic Programming