Co-auteurs

Année de production

Identifiants chercheur

  • IdHAL : paul-van-der-walt
Nombre de documents

1

Paul's publications


Greetings, traveller.


Communication dans un congrès1 document

  • Paul Van Der Walt, Wouter Swierstra. Engineering Proof by Reflection in Agda. Ralf Hinze. IFL - 24th International Symposium on Implementation and Application of Functional Languages, Aug 2012, Oxford, United Kingdom. Springer, 8241, pp.157-173, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-41582-1_10>. <hal-00987610>