Paul van der Walt

A language-independent methodology for compiling declarations into open platform frameworks. (Compilation de déclarations dans des cadriciels : une méthodologie indépendante du langage)

Paul van der Walt, Paul van der Walt, 2015 .

Frameworks compiled from declarations: a language‐independent approach

Paul van der Walt, Charles Consel, Emilie Balland, 2017, Softw. Pract. Exp..

Declaration-Driven Frameworks: A Language-Agnostic Approach

Paul van der Walt, Charles Consel, Emilie Balland, 2015 .

Engineering Proof by Reflection in Agda

Wouter Swierstra, Paul van der Walt, P. V. D. Walt, 2012, IFL.

Constraining application behaviour by generating languages pdf

Paul van der Walt, 2015, ELS.

New Software and Platforms - DiaSuite: a Development Environment forSense/Compute/Control Applications

Paul van der Walt, Emilie Balland, Charles Consel, 2013 .