Operational semantics using the partiality monad
Conference proceeding (September 2012)
The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.
Conference proceeding (September 2012)
Article in ACM SIGPLAN Notices (September 2012)