BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
type (2)
sound (1)
race (1)
freedom (1)
implement (1)

Stem mezzo$ (all stems)

3 papers:

FLOPSFLOPS-2014-BalabonskiPP
Type Soundness and Race Freedom for Mezzo (TB, FP, JP), pp. 253–269.
ICFPICFP-2013-PottierP #programming
Programming with permissions in Mezzo (FP, JP), pp. 173–184.
IFLIFL-2013-Protzenko #implementation
The implementation of the Mezzo type-checker (JP), p. 129.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.