Paul van der Walt

4
Documents
Identifiants chercheurs

Publications

1
1
1
1
1
2
1

Publications

Deposit thumbnail

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-01140459v1
Deposit thumbnail

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-00987610v1