Paul van der Walt

4
Documents
Identifiants chercheurs

Présentation

Greetings, traveller.

Publications

1
1
1
1
1
2
1

Publications

Image document

Constraining application behaviour by generating languages

Paul van Der Walt
8th European Lisp Symposium, Apr 2015, London, United Kingdom
Communication dans un congrès hal-01140459 v1
Image document

Engineering Proof by Reflection in Agda

Paul van Der Walt , Wouter Swierstra
IFL - 24th International Symposium on Implementation and Application of Functional Languages, Aug 2012, Oxford, United Kingdom. pp.157-173, ⟨10.1007/978-3-642-41582-1_10⟩
Communication dans un congrès hal-00987610 v1