Programming with Types (2002)

by Stephanie Weirich