Publication
Design choices for language-based transactions
Projet
Singularity
Singularity was a multi-year research project focused on the construction of dependable systems through innovation in the areas of systems, languages, and tools.
Publication