Paul van der Walt

Identifiants chercheurs

IdHAL :

paul-van-der-walt

IdRef :

191741558

Publications

Article dans une revue (1)

Frameworks compiled from declarations: a language-independent approach Paul van der Walt,Charles Consel,Emilie Balland Software: Practice and Experience, 2016, ⟨10.1002/spe.2417⟩ Article dans une revue hal-01236352v2

Communication dans un congrès (2)

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

Thèse (1)

A language-independent methodology for compiling declarations into open platform frameworks Paul van der Walt Programming Languages [cs.PL]. Université de Bordeaux, 2015. English. ⟨NNT : 2015BORD0288⟩ Thèse tel-01251882v2