James Chapman Thorsten Altenkirch Conor McBride Epigram reloaded: a standalone typechecker for ETT. 79-94 2005 conf/sfp/2005 Trends in Functional Programming db/conf/sfp/tfp2005.html#ChapmanAM05