Toggle navigation
Labra's home page
Home
Publications
Posts
Projects
Teaching
Talks
Other
Contact
Programming-language-Semantics
An Implementation of Modular Monadic Semantics using Folds and Monadic Folds