Paul van der Walt

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 1

Top Topics

Automatic Summarization

Language Independent

Mathematical Proofs

Top Venues

Softw. Pract. Exp.

University of Bordeaux, France (PHD)

Education History

University of Bordeaux, France

PHD

Publications

Paul van der Walt, Charles Consel, Emilie Balland
Frameworks compiled from declarations: a language-independent approach. Softw. Pract. Exp. 47 (5) (2017)
Paul van der Walt
Constraining application behaviour by generating languages. CoRR (2015)
Paul van der Walt
Constraining application behaviour by generating languages. ELS (2015)
Paul van der Walt, Wouter Swierstra
Engineering Proof by Reflection in Agda. IFL (2012)