Derivatives of containers (2003)

by Michael Abbott , Thorsten Altenkirch , Neil Ghani , Conor Mcbride
Venue:of Lecture notes in Computer Science
Citations:6 - 2 self