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