default search action
Gabriel Radanne
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j4]Clement Blaudeau
, Didier Rémy, Gabriel Radanne:
Fulfilling OCaml Modules with Transparency. Proc. ACM Program. Lang. 8(OOPSLA1): 194-222 (2024) - [c10]Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne:
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving. DATE 2024: 1-6 - [p1]Martin Andrieux
Active Objects Based on Algebraic Effects. Active Object Languages: Current Research Trends 2024: 3-36 - 2023
- [j3]Laure Gonnord
A Survey on Parallelism and Determinism. ACM Comput. Surv. 55(10): 210:1-210:28 (2023) - [j2]Thaïs Baudon
Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types. Proc. ACM Program. Lang. 7(ICFP): 813-846 (2023) - [c9]Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian Ghadikolaei, Matthieu Moy, Gabriel Radanne, Pascal Raymond:
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. DATE 2023: 1-2 - 2022
- [i5]Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne:
A Survey on Parallelism and Determinism. CoRR abs/2210.15202 (2022) - 2021
- [c8]Paul Iannetta
Compiling pattern matching to in-place modifications. GPCE 2021: 123-129 - 2020
- [j1]Gabriel Radanne
Kindly bent to free us. Proc. ACM Program. Lang. 4(ICFP): 103:1-103:29 (2020)
2010 – 2019
- 2019
- [c7]Gabriel Radanne:
Typed parsing and unparsing for untyped regular expression engines. PEPM@POPL 2019: 35-46 - [i4]Gabriel Radanne, Jérôme Vouillon, Vincent Balat:
Eliom: A Language for Modular Tierless Web Programming. CoRR abs/1901.11411 (2019) - [i3]Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy, Jeremy Yallop, Richard Mortier, Hannes Mehnert, Mindy Preston, David J. Scott:
Programming Unikernels in the Large via Functor Driven Development. CoRR abs/1905.02529 (2019) - [i2]Gabriel Radanne
Kindly Bent to Free Us. CoRR abs/1908.09681 (2019) - 2018
- [c6]Gabriel Radanne, Peter Thiemann:
Regenerate: a language generator for extended regular expressions. GPCE 2018: 202-214 - [c5]Gabriel Radanne, Jérôme Vouillon:
Tierless Web Programming in the Large. WWW (Companion Volume) 2018: 681-689 - 2017
- [b1]Gabriel Radanne:
Tierless Web programming in ML. (Programmation Web sans-étages en ML). Paris Diderot University, France, 2017 - 2016
- [c4]Gabriel Radanne, Jérôme Vouillon, Vincent Balat:
Eliom: A Core ML Language for Tierless Web Programming. APLAS 2016: 377-397 - [c3]Gabriel Radanne
Eliom: tierless Web programming from the ground up. IFL 2016: 8:1-8:12 - 2015
- [c2]Laure Gonnord, David Monniaux
Synthesis of ranking functions using extremal counterexamples. PLDI 2015: 608-618 - 2014
- [c1]James Cheney
Effective quotation: relating approaches to language-integrated query. PEPM 2014: 15-26 - 2013
- [i1]James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler:
Effective Quotation. CoRR abs/1310.4780 (2013)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-01 21:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: