ICFP 2021
Sun 22 - Sat 28 August 2021
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

HIW 2021 Committee Member in Program Committee within the HIW 2021-track
Haskell 2021 Committee Member in Program Committee within the Haskell 2021-track
ICFP 2021 Leibniz equality is isomorphic to Martin-Löf identity, parametrically (JFP Presentation)
Show activities from other conferences

Using general profile