Reason Isomorphically! (WGP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON GENERIC PROGRAMMING, 2010)

(untitled) - Hinze, R; James, D; ACM