2003, “Derivatives of containers (0)

by M Abbott, T Altenkirch, G N Ghani, C McBride
Venue:in TLCA 2003: Proceedings of the 6th International Conference on Typed Lambda Calculi and Applications