Fingerprint
Dive into the research topics where Gabriel Scherer is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Zoo: A Framework for the Verification of Concurrent OCaml 5 Programs using Separation Logic
Allain, C. & Scherer, G., 8 Jan 2026, In: Proceedings of the ACM on Programming Languages. 10, p. 1702-1729 28 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Tail Modulo Cons, OCaml, and Relational Separation Logic
Allain, C., Bour, F., Clément, B., Pottier, F. & Scherer, G., 7 Jan 2025, In: Proceedings of the ACM on Programming Languages. 9, 3704915.Research output: Contribution to journal › Article › peer-review
Open Access -
Snapshottable Stores
Allain, C., Clément, B., Moine, A. & Scherer, G., 15 Aug 2024, In: Proceedings of the ACM on Programming Languages. 8, ICFP, 248.Research output: Contribution to journal › Article › peer-review
Open Access -
Unboxed Data Constructors: Or, How cpp Decides a Halting Problem
Chataing, N., Dolan, S., Scherer, G. & Yallop, J., 5 Jan 2024, In: Proceedings of the ACM on Programming Languages. 8, p. 604-637 34 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Coqlex: Generating Formally Verified Lexers
Ouedraogo, W., Scherer, G. & Straßburger, L., 1 Jan 2023, In: Art, Science, and Engineering of Programming. 8, 1, p. 3:1-3:30Research output: Contribution to journal › Article › peer-review
Open Access -
Debootstrapping without Archeology: Stacked Implementations in Camlboot
Courant, N., Lepiller, J. & Scherer, G., 1 Jan 2022, In: Art, Science, and Engineering of Programming. 6, 3, 13.Research output: Contribution to journal › Article › peer-review
Open Access -
A practical mode system for recursive definitions
Reynaud, A., Scherer, G. & Yallop, J., 1 Jan 2021, In: Proceedings of the ACM on Programming Languages. 5, POPL, 45.Research output: Contribution to journal › Article › peer-review
Open Access -
Tail Modulo Cons
Bour, F., Clément, B. & Scherer, G., 1 Jan 2021, p. 48-68. 21 p.Research output: Contribution to conference › Paper › peer-review
-
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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Preface
Lindley, S. & Scherer, G., 16 May 2019, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 294Research output: Contribution to journal › Editorial
Open Access