Skip to content

Operational semantics using the partiality monad.

Nils Anders Danielsson

VenueAICFP
Year2012
ProceedingsICFP

Browse the full ICFP paper archive.