Operational semantics using the partiality monad


The operational semantics of a partial, functional language is often given as a relation rather than as a function. The latter approach is arguably more natural: if the language is functional, why not take advantage of this when defining the semantics? One can immediately see that a functional semantics is deterministic and, in a constructive setting… (More)
DOI: 10.1145/2364527.2364546
View Slides


1 Figure or Table


Citations per Year

Citation Velocity: 22

Averaging 22 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.