Cited By
View all- Ahrens BMatthes RMörtberg APopescu AZdancewic S(2022)Implementing a category-theoretic framework for typed abstract syntaxProceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3497775.3503678(307-323)Online publication date: 17-Jan-2022
- AHRENS B(2014)Modules over relative monads for syntax and semanticsMathematical Structures in Computer Science10.1017/S096012951400010326:1(3-37)Online publication date: 5-Dec-2014
- Hirschowitz AMaggesi M(2010)Modules over monads and initial semanticsInformation and Computation10.1016/j.ic.2009.07.003208:5(545-564)Online publication date: 1-May-2010
- Show More Cited By