Dominique Devriese - ICFP 2019

Write a Blog >>

Sun 18 - Fri 23 August 2019 Berlin, Germany

Registered user since Tue 12 Aug 2014

Name:Dominique Devriese

Country:Belgium

Affiliation:Vrije Universiteit Brussel

Personal website: http://soft.vub.ac.be/~dodevrie/

Research interests:Object Capabilities, Capability Machines, Secure Compilation, Functional Programming, Dependently-typed Programming

Contributions

2019

Haskell

Modular effects in Haskell through effect polymorphism and explicit dictionary applications - A new approach and the μVeriFast verifier as a case study

HIW

Explicit Dictionary Applications - From Theory to Practice?

ICFP

TyDe

Show activities from other conferences

ICFP 2019-profile
View general profile