Observational equality, now (2007)

by T Altenkirch, C McBride, W Swierstra
Venue:In Programming Languages meets Program Verification Workshop