Paul van der Walt

According to our database, Paul van der Walt authored at least 4 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

Frameworks compiled from declarations: a language-independent approach.

Paul van der Walt, Charles Consel, Emilie Balland

Softw. Pract. Exp., 2017

2015

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

PhD thesis, 2015

Constraining application behaviour by generating languages.

Paul van der Walt

Proceedings of the 8th European Lisp Symposium (ELS 2015), 2015

2012

Engineering Proof by Reflection in Agda.

Paul van der Walt, Wouter Swierstra

Proceedings of the Implementation and Application of Functional Languages, 2012