I am a former PhD student in the Phoenix team
at INRIA Bordeaux, having done my thesis work under the supervision
Consel and Emilie Balland. My work, which started in November 2012,
is based on the DiaSuite project. I defended my thesis on the 14th of December, 2015. Previously, my MSc thesis work was performed
under Wouter Swierstra at Utrecht University.
I think purple is great.
Software verification, security
Information flow analysis
Dependently typed programming, functional programming
Programming languages, metaprogramming, Racket, Haskell
A language-independent methodology
for compiling declarations into open platform frameworks, Paul van
der Walt, 2015, PhD thesis, Bordeaux.
application behaviour by generating languages, Paul van der Walt,
ELS2015, London. [code]
Frameworks compiled from
declarations: a language-independent approach, Paul van der Walt,
Charles Consel, Emilie Balland, 2015,
Engineering Proof by
Reflection in Agda, Paul van der Walt, Wouter Swierstra, IFL2012,
Page last modified on 19/Jan/2016.