The following pages link to (Q2767171):
Displaying 4 items.
- VDM semantics of programming languages: Combinators and monads (Q539163) (← links)
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Building verification condition generators by compositional extension (Q2864396) (← links)
- Algebraic Methodology and Software Technology (Q5312999) (← links)