Paul van der Walt
4
Documents
Identifiants chercheurs
- paul-van-der-walt
- IdRef : 191741558
Présentation
Greetings, traveller.
Greetings, traveller.
Publications
- 1
- 1
- 1
- 1
- 1
- 2
- 1
|
Frameworks compiled from declarations: a language-independent approachSoftware: Practice and Experience, 2016, ⟨10.1002/spe.2417⟩
Article dans une revue
hal-01236352v2
|
|
Constraining application behaviour by generating languages8th European Lisp Symposium, Apr 2015, London, United Kingdom
Communication dans un congrès
hal-01140459v1
|
|
Engineering Proof by Reflection in AgdaIFL - 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
|
|
A language-independent methodology for compiling declarations into open platform frameworksProgramming Languages [cs.PL]. Université de Bordeaux, 2015. English. ⟨NNT : 2015BORD0288⟩
Thèse
tel-01251882v2
|