Making implicit parameters explicit (2005)

by A Dijkstra, S D Swierstra