Dependent Types at Work by Ana Bove and Peter Dybjer (2009) [pdf]cse.chalmers.se1 pointfurcyd6 years ago