Skip to Main content


Production year

Researcher identifiers

  • IdHAL : paul-van-der-walt
Number of documents


Paul's publications

Greetings, traveller.

Conference papers1 document

  • Paul van der Walt, Wouter Swierstra. Engineering Proof by Reflection in Agda. 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⟩. ⟨hal-00987610⟩