Scherer Gabriel
44
Documents
Publications
Publications
|
|
Tail Modulo Cons, OCaml, and Relational Separation LogicProceedings of the ACM on Programming Languages, 2025, 9 (POPL), pp.2337-2363. ⟨10.1145/3704915⟩
Article dans une revue
hal-04884634
v1
|
|
|
Snapshottable StoresProceedings of the ACM on Programming Languages, 2024, 8 (ICFP), pp.338-369. ⟨10.1145/3674637⟩
Article dans une revue
hal-04887939
v1
|
|
|
Coqlex: Generating Formally Verified LexersThe Art, Science, and Engineering of Programming, 2023, 8 (1), ⟨10.22152/programming-journal.org/2024/8/3⟩
Article dans une revue
hal-03912170
v2
|
|
|
Debootstrapping without ArcheologyThe Art, Science, and Engineering of Programming, 2022, 6 (3), ⟨10.22152/programming-journal.org/2022/6/13⟩
Article dans une revue
hal-03917754
v1
|
|
|
A practical mode system for recursive definitionsProceedings of the ACM on Programming Languages, 2021, 5 (POPL), pp.1-29. ⟨10.1145/3434326⟩
Article dans une revue
hal-03125031
v1
|
|
|
Capturing the Future by Replaying the Past Functional PearlProceedings of the ACM on Programming Languages, 2018, 2 (ICFP), pp.1 - 29. ⟨10.1145/3236771⟩
Article dans une revue
hal-01929178
v1
|
|
|
Merlin: a language server for OCaml (experience report)Proceedings of the ACM on Programming Languages, 2018, 2 (ICFP), pp.1 - 15. ⟨10.1145/3236798⟩
Article dans une revue
hal-01929161
v1
|
|
|
Correctness of Speculative Optimizations with Dynamic DeoptimizationProceedings of the ACM on Programming Languages, 2018, 2 (POPL), ⟨10.1145/3158137⟩
Article dans une revue
hal-01646765
v1
|
|
|
The free bifibration on a functor2025
Pré-publication, Document de travail
hal-05357986
v1
|
|
|
2-or-more approximation for intuitionistic logic2014
Pré-publication, Document de travail
hal-01094120
v1
|
|
|
Storable types: free, absorbing, custom36es Journées Francophones des Langages Applicatifs (JFLA 2025), Jan 2025, Roiffé, France
Communication dans un congrès
hal-04859464
v1
|
|
|
Correct tout seul, sûr à plusieurs35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France
Communication dans un congrès
hal-04406412
v1
|
|
|
Backtracking reference storesJFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.190-210
Communication dans un congrès
hal-03936704
v1
|
|
|
Boxroot, fast movable GC roots for a better FFIML Family Workshop, Benoît Montagu, Sep 2022, Ljubljana, Slovenia
Communication dans un congrès
hal-03910313
v1
|
|
|
An OCaml use case for strong call-by-need reductionACM SIGPLAN Workshop on ML 2022 - ML Family Workshop, Benoit Montagu, Sep 2022, Ljubljana, Slovenia
Communication dans un congrès
hal-03947986
v1
|
|
|
Déboîter les constructeursJournées Francophones des Langages Applicatifs, Feb 2022, Saint-Médard-d'Excideuil, France
Communication dans un congrès
hal-03510931
v1
|
|
|
Tail Modulo ConsJFLA 2021 - Journées Francophones des Langages Applicatifs, Apr 2021, Saint Médard d’Excideuil, France
Communication dans un congrès
hal-03146495
v1
|
|
|
Quantified Applicatives: API design for type-inference constraintsML Family Workshop, Aug 2020, Jersey City / Online, United States
Communication dans un congrès
hal-03145040
v1
|
|
|
Translation validation of a pattern-matching compilerML Family Workshop, Aug 2020, New Jersey /Online, United States
Communication dans un congrès
hal-03145030
v1
|
|
|
Unboxing Mutually Recursive Type Definitions in OCamlJFLA 2019 - 30 èmes journées francophones des langages applicatifs, Jan 2019, Les Rousses, France
Communication dans un congrès
hal-01929508
v1
|
|
|
Functional programming with $λ$-tree syntaxPPDP 2019 - 21st International Symposium on Principles and Practice of Programming Languages, Oct 2019, Porto, Portugal. pp.1-16, ⟨10.1145/3354166.3354177⟩
Communication dans un congrès
hal-02368906
v1
|
|
|
FabULous Interoperability for ML and a Linear LanguageInternational Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Apr 2018, Thessaloniki, Greece. ⟨10.1007/978-3-319-89366-2_8⟩
Communication dans un congrès
hal-01929158
v1
|
A preview of a tutorial on L (polarized μμ-tilde)HOPE 2018 - 7th ACM SIGPLAN Workshop on Higher-Order Programming with Effects, Sep 2018, St. Louis, United States
Communication dans un congrès
hal-01992294
v1
|
|
|
|
Génération aléatoire de programmes guidée par la vivacitéJFLA 2018 - Journées Francophones des Langages Applicatifs, Jan 2018, Banyuls-sur-Mer, France
Communication dans un congrès
hal-01682691
v1
|
|
|
Search for Program Structure2nd Summit on Advances in Programming Languages (SNAPL 2017), Jan 2017, Asilomar, United States
Communication dans un congrès
hal-01646718
v1
|
|
|
Deciding equivalence with sums and the empty typePOPL 2017, Jan 2017, Paris, France
Communication dans un congrès
hal-01646064
v1
|
|
|
Ambiguous pattern variablesOCaml 2016: The OCaml Users and Developers Workshop, Sep 2016, Nara, Japan. pp.2
Communication dans un congrès
hal-01413241
v1
|
Full reduction in the face of absurdityESOP'2015: European Conference on Programming Languages and Systems, Apr 2015, London, United Kingdom
Communication dans un congrès
hal-01095390
v1
|
|
|
|
Multi-focusing on extensional rewriting with sumsTyped Lambda Calculi and Applications, Jun 2015, Warsaw, Poland
Communication dans un congrès
hal-01235372
v1
|
|
|
Normalization by realizability also evaluatesVingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
Communication dans un congrès
hal-01099138
v1
|
|
|
Polarised Intermediate Representation of Lambda Calculus with SumsThirtieth Annual ACM/IEEE Symposium on Logic In Computer Science (LICS 2015), Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.22⟩
Communication dans un congrès
hal-01160579
v2
|
|
|
Which simple types have a unique inhabitant?The 20th ACM SIGPLAN International Conference on Functional Programming (ICFP 2015), Aug 2015, Vancouver, Canada
Communication dans un congrès
hal-01235596
v1
|
|
|
Deciding unique inhabitants with sums (work in progress)TYPES, May 2014, Paris, France
Communication dans un congrès
hal-01094127
v1
|
|
|
Well-typed generic smart-fuzzing for APIsML'14 - ACM SIGPLAN ML Family Workshop, Aug 2014, Göteborg, Sweden
Communication dans un congrès
hal-01094006
v1
|
|
|
GADTs meet subtypingESOP 2013 - 22nd European Symposium on Programming, Mar 2013, Rome, Italy. pp.554-573, ⟨10.1007/978-3-642-37036-6⟩
Communication dans un congrès
hal-00772993
v2
|
|
|
Tracking Data-Flow with Open Closure TypesLPAR 2013 - 19th International Conference Logic for Programming, Artificial Intelligence, and Reasoning, Dec 2013, Stellenbosch, South Africa. pp.710-726
Communication dans un congrès
hal-00911656
v1
|
|
|
GADTs Meet SubtypingACM SIGPLAN Workshop on ML, Sep 2012, Copenhagen, Denmark
Communication dans un congrès
hal-01093816
v1
|
|
|
GADT meet subtypingACM SIGPLAN Workshop on ML, Aug 2012, Copenhague, Denmark
Communication dans un congrès
hal-01093940
v1
|
Macaque : Interrogation sûre et flexible de base de données depuis OCamlVing et unième journées francophones des langages applicatifs, Jan 2010, La Ciotat, France
Communication dans un congrès
hal-00495977
v1
|
|
|
Constrained generation of well-typed programInria - Paris 7. 2024
Rapport
(rapport de recherche)
hal-04607309
v1
|
|
|
Full reduction in the face of absurdity[Research Report] INRIA. 2014
Rapport
(rapport de recherche)
hal-01093910
v1
|
|
|
Tracking Data-Flow with Open Closure Types[Research Report] RR-8345, INRIA. 2013, pp.24
Rapport
(rapport de recherche)
hal-00851658
v1
|
|
|
GADT meet Subtyping[Research Report] RR-8114, INRIA. 2012, pp.33
Rapport
(rapport de recherche)
hal-00744292
v1
|
|
|
Which types have a unique inhabitant?Programming Languages [cs.PL]. Université Paris-Diderot, 2016. English. ⟨NNT : ⟩
Thèse
tel-01309712
v2
|
Chargement...
Chargement...