Number of documents
1
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⟩