D E Rydeheard
-
Reason isomorphically!
Proceedings of the 6th ACM SIGPLAN workshop on Generic programming
Generic programming with adjunctions
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming