Gabriel Scherer

Résultat de recherche par an

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où Gabriel Scherer est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.

1 Profils similaires

13 Article
10 Contribution à une conférence
4 Papier
2 Éditorial
Afficher plus d’informations
- 1 Article de conférence

Zoo: A Framework for the Verification of Concurrent OCaml 5 Programs using Separation Logic
Allain, C. & Scherer, G., 8 janv. 2026, Dans: Proceedings of the ACM on Programming Languages. 10, p. 1702-1729 28 p.
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert
Tail Modulo Cons, OCaml, and Relational Separation Logic
Allain, C., Bour, F., Clément, B., Pottier, F. & Scherer, G., 7 janv. 2025, Dans: Proceedings of the ACM on Programming Languages. 9, 3704915.
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert
Snapshottable Stores
Allain, C., Clément, B., Moine, A. & Scherer, G., 15 août 2024, Dans: Proceedings of the ACM on Programming Languages. 8, ICFP, 248.
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert
Unboxed Data Constructors: Or, How cpp Decides a Halting Problem
Chataing, N., Dolan, S., Scherer, G. & Yallop, J., 5 janv. 2024, Dans: Proceedings of the ACM on Programming Languages. 8, p. 604-637 34 p.
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert
Coqlex: Generating Formally Verified Lexers
Ouedraogo, W., Scherer, G. & Straßburger, L., 1 janv. 2023, Dans: Art, Science, and Engineering of Programming. 8, 1, p. 3:1-3:30
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert
Debootstrapping without Archeology: Stacked Implementations in Camlboot
Courant, N., Lepiller, J. & Scherer, G., 1 janv. 2022, Dans: Art, Science, and Engineering of Programming. 6, 3, 13.
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert
A practical mode system for recursive definitions
Reynaud, A., Scherer, G. & Yallop, J., 1 janv. 2021, Dans: Proceedings of the ACM on Programming Languages. 5, POPL, 45.
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert
Tail Modulo Cons
Bour, F., Clément, B. & Scherer, G., 1 janv. 2021, p. 48-68. 21 p.
Résultats de recherche: Contribution à une conférence › Papier › Revue par des pairs
Functional programming with λ-tree syntax
Gérard, U., Miller, D. & Scherer, G., 7 oct. 2019, Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming, PPDP 2019. Association for Computing Machinery, a12. (ACM International Conference Proceeding Series).
Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Accès ouvert
Preface
Lindley, S. & Scherer, G., 16 mai 2019, Dans: Electronic Proceedings in Theoretical Computer Science, EPTCS. 294
Résultats de recherche: Contribution à un journal › Éditorial

Accès ouvert

Gabriel Scherer

Empreinte digitale

Collaborations et principaux domaines de recherche des cinq dernières années

Voir les détails

Zoo: A Framework for the Verification of Concurrent OCaml 5 Programs using Separation Logic

Tail Modulo Cons, OCaml, and Relational Separation Logic

Snapshottable Stores

Unboxed Data Constructors: Or, How cpp Decides a Halting Problem

Coqlex: Generating Formally Verified Lexers

Debootstrapping without Archeology: Stacked Implementations in Camlboot

A practical mode system for recursive definitions

Tail Modulo Cons

Functional programming with λ-tree syntax

Preface