Skip to Main content

Co-authors

Production year

Researcher identifiers

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

1

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⟩