Operational semantics using the partiality monad

Nils Anders Danielsson. Operational semantics using the partiality monad. In Peter Thiemann, Robby Bruce Findler, editors, ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012. pages 127-138, ACM, 2012. [doi]

Authors

Nils Anders Danielsson

This author has not been identified. It may be one of the following persons: Look up 'Nils Anders Danielsson' in Google