Derivatives of containers (0)

by M Abbott, T Altenkirch, N Ghani, C McBride
Venue:In 6th International Conference on Typed Lambda Calculi and Applications, volume 2701 of Lecture Notes in Computer Science