Toggle navigation
Labra's home page
Home
Publications
Posts
Projects
Teaching
Talks
Other
Contact
Modular-monadic-semantics
A monadic program slicer
A Formal Method for program Slicing
Modular development of Language Processors from Reusable Semantic Specifications
An Implementation of Modular Monadic Semantics using Folds and Monadic Folds