A Categorical Treatment of Ornaments

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2013.60 ◽

2013 ◽

Cited By ~ 5

Author(s):

Pierre-Evariste Dagand ◽

Conor McBride

Download Full-text