Chapter 6: Epigram Reloaded: A Standalone Typechecker for ETT. - Chapman, James; Altenkirch, Thorsten; McBride, Conor (Trends in Functional Programming Volume 6, 2007)