A Survey on Parallelism and Determinism

Autor: Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne

Publikováno v: ACM Computing Surveys
ACM Computing Surveys, 2022, ⟨10.1145/3564529⟩

Parallelism is often required for performance. In these situations an excess of non-determinism is harmful as it means the program can have several different behaviours or even different results. Even in domains such as high-performance computing whe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::639751fb43f22848239b4cc4ec601ab7
https://inria.hal.science/hal-03828497/document

Kindly bent to free us

Autor: Gabriel Radanne, Hannes Saffrich, Peter Thiemann

Publikováno v: Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (ICFP), pp.1-29. ⟨10.1145/3408985⟩
Proceedings of the ACM on Programming Languages, 2020, 4 (ICFP), pp.1-29. ⟨10.1145/3408985⟩

Systems programming often requires the manipulation of resources like file handles, network connections, or dynamically allocated memory. Programmers need to follow certain protocols to handle these resources correctly. Violating these protocols caus

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::501cbff07a3dd60a05a72c3a4e6aca88
https://hal.archives-ouvertes.fr/hal-02938020/document

Regenerate: a language generator for extended regular expressions

Autor: Peter Thiemann, Gabriel Radanne

Publikováno v: GPCE

Regular expressions are part of every programmer’s toolbox. They are used for a wide variety of language-related tasks and there are many algorithms for manipulating them. In particular, matching algorithms that detect whether a word belongs to the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::593310c8fbac1f0c5503f4e86c2c158a
https://doi.org/10.1145/3278122.3278133

Eliom: A core ML language for Tierless Web programming

Autor: Vincent Balat, Gabriel Radanne, Jérôme Vouillon

Publikováno v: APLAS 2016
APLAS 2016, Nov 2016, Hanoi, Vietnam
Programming Languages and Systems ISBN: 9783319479576
APLAS

International audience; Eliom is a dialect of OCaml for Web programming in which server and client pieces of code can be mixed in the same file using syntactic annotations. This allows to build a whole application as a single distributed program, in

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cdce49827c4bf8785ea2095ed8b30113
https://hal.archives-ouvertes.fr/hal-01349774

Effective quotation

Autor: Gabriel Radanne, Philip Wadler, Sam Lindley, James Cheney

Publikováno v: Cheney, J, Lindley, S, Radanne, G & Wadler, P 2014, Effective Quotation: Relating Approaches to Language-integrated Query . in Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation . New York, NY, USA, pp. 15-26 . https://doi.org/10.1145/2543728.2543738

Language-integrated query techniques have been explored in a number of different language designs. We consider two different, type-safe approaches employed by Links and F#. Both approaches provide rich dynamic query generation capabilities, and thus

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::67c9029c1f9482c6d3500dc2db17641c
https://doi.org/10.1145/2543728.2543738