Skip to Main content
Number of documents


Gabriel Radanne

Journal articles1 document

Conference papers4 documents

  • Gabriel Radanne, Peter Thiemann. Regenerate: A Language Generator for Extended Regular Expressions with an application to test case generation. GPCE 2018: 17th International Conference on Generative Programming: Concepts & Experiences, Nov 2018, Boston, United States. pp.202-214, ⟨10.1145/3278122.3278133⟩. ⟨hal-01788827v2⟩
  • Gabriel Radanne, Jérôme Vouillon, Vincent Balat, Vasilis Papavasileiou. ELIOM: tierless Web programming from the ground up . IFL, Aug 2016, Leuven, Belgium. ⟨10.1145/3064899.3064901⟩. ⟨hal-01407898v2⟩
  • Gabriel Radanne, Jérôme Vouillon, Vincent Balat. Eliom: A core ML language for Tierless Web programming. APLAS 2016, Nov 2016, Hanoi, Vietnam. ⟨hal-01349774⟩
  • Laure Gonnord, David Monniaux, Gabriel Radanne. Synthesis of ranking functions using extremal counterexamples. Programming Languages, Design and Implementation, Jun 2015, Portland, Oregon, United States. ⟨10.1145/2737924.2737976⟩. ⟨hal-01144622⟩

Preprints, Working Papers, ...2 documents

  • Gabriel Radanne, Jérôme Vouillon, Vincent Balat. Eliom: A Language for Modular Tierless Web Programming. 2019. ⟨hal-01989788⟩
  • Gabriel Radanne, Jérôme Vouillon. Tierless Modules. 2017. ⟨hal-01485362⟩

Reports1 document

  • Paul Iannetta, Laure Gonnord, Gabriel Radanne. Parallelizing Structural Transformations on Tarbres. [Research Report] RR-9405, ENS Lyon, CNRS & INRIA. 2021, pp.21. ⟨hal-03208466⟩

Theses1 document

  • Gabriel Radanne. Tierless Web programming in ML. Programming Languages [cs.PL]. Université Paris Diderot (Paris 7), 2017. English. ⟨tel-01788885⟩