Browse by Authors and Editors

[up] Up a level
Group by: Item Type | Date | No Grouping
Number of items: 2.

Jaskelioff, Mauro Javier (2009) Lifting of operations in modular monadic semantics. PhD thesis, University of Nottingham.

Jaskelioff, Mauro Javier, Ghani, Neil and Hutton, Graham (2008) Modularity and implementation of mathematical operational semantics. In: Second Workshop on Mathematically Structured Functional Programming (MSFP 2008), 6 July 2008, Reykjavik, Iceland.

This list was generated on Thu Jan 2 04:08:05 2025 UTC.