SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Dominique Devriese

Registered user since Tue 12 Aug 2014

Name:Dominique Devriese
Country:Belgium
Affiliation:Vrije Universiteit Brussel
Research interests:Object Capabilities, Capability Machines, Secure Compilation, Functional Programming, Dependently-typed Programming

Contributions

SPLASH 2022 Plausible sealing for gradual parametricity
Purity of an ST monad: full abstraction by semantically typed back-translation
Show activities from other conferences

Using general profile