Making implicit parameters explicit (2005)

by Atze Dijkstra, S Doaitse Swierstra