Scheme 2025 Contributors

Thu 16 Oct 2025 Singapore

co-located with ICFP/SPLASH 2025

Filter

Role Type

Contributing to

Number of Roles

Country

Results (29)

A Michael D. AdamsAdams, Michael D. National University of SingaporeUnited States Scheme and New Frontiers for Language Design
B Sean BocirneaBocirnea, Sean University of British Columbia Fast and Extensible Hybrid Embeddings with Micros
William J. BowmanBowman, William J. University of British ColumbiaCanada Fast and Extensible Hybrid Embeddings with Micros
William E. ByrdByrd, William E. University of Alabama at BirminghamUnited States Program Co-Chair in Organizing Committee within the Scheme-track
C Youyou CongCong, Youyou Institute of Science TokyoJapan Session Chair of Report, Lightning Talks, and Keynote (part of Scheme) Welcome Program Co-Chair in Organizing Committee within the Scheme-track
D Olivier DanvyDanvy, Olivier Yale-NUS College and School of Computing, SingaporeSingapore Session Chair of Report, Lightning Talks, and Keynote (part of Scheme) Local Arrangements Chair in Organizing Committee within the Scheme-track
Paul DownenDownen, Paul University of Massachusetts at LowellUnited States Session Chair of Implementation, Application, and Types (part of Scheme) Rewriting Macros on the Fly: A Modular Approach to Administrative Reduction During Expansion
E Zachary EisbachEisbach, Zachary Northeastern UniversityUnited States miniDusa: An Extensible Finite-Choice Logic Programming Language (Lightning Talk)
F David Anthony K. FieldsFields, David Anthony K. Seton Hall University Automatic Invariant Testing for Finite-State Machines
G Andrés M. GarcedGarced, Andrés M. Seton Hall University Automatic Invariant Testing for Finite-State Machines
Robert GlückGlück, Robert University of CopenhagenDenmark Committee Member in Program Committee within the Scheme-track
Ben GreenmanGreenman, Ben University of UtahUnited States Committee Member in Program Committee within the Scheme-track
H Daniel HillerströmHillerström, Daniel Category Labs and The University of EdinburghUnited Kingdom Committee Member in Program Committee within the Scheme-track
K Paulette KoronkevichKoronkevich, Paulette University of British Columbia Session Chair of Macros and Denotational Semantics (part of Scheme) Committee Member in Program Committee within the Scheme-track
L Pascal LasnierLasnier, Pascal University of Cambridge Brack: A Verified Compiler for Scheme via CakeML (Lightning Talk)
M Marco MorazanMorazan, Marco pc Automatic Invariant Testing for Finite-State Machines
Peter D. MossesMosses, Peter D. Delft University of Technology; Swansea UniversityNetherlands Checking a Denotational Semantics of Scheme in Agda
Yuito MuraseMurase, Yuito Kyoto University, JapanJapan Hygienic Macros via Staged Environment Machines (Position Paper)
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology Brack: A Verified Compiler for Scheme via CakeML (Lightning Talk)
N Keisuke NakanoNakano, Keisuke Tohoku UniversityJapan Committee Member in Program Committee within the Scheme-track
P Matthew PlantPlant, Matthew OneChronos Gouki Scheme: An Embedded Scheme Implementation for Async Rust
Ari PrakashPrakash, Ari Northeastern UniversityUnited States miniDusa: An Extensible Finite-Choice Logic Programming Language (Lightning Talk)
Daphne Preston-KendalPreston-Kendal, Daphne Scheme Reports at Fifty: Where do we go from here?
R Jan-Paul Ramos-DavilaRamos-Davila, Jan-Paul Boston UniversityUnited States Sound Default-Typed Scheme (Position Paper)
S Olin ShiversShivers, Olin Northeastern UniversityUnited States Committee Member in Program Committee within the Scheme-track
T Marco T MorazanT Morazan, Marco Seton Hall UniversityUnited States Committee Member in Program Committee within the Scheme-track
Yota ToyamaToyama, Yota Canada Stak Scheme: The tiny R7RS-small implementation
Sophia TuranoTurano, Sophia Seton Hall University Automatic Invariant Testing for Finite-State Machines
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Brack: A Verified Compiler for Scheme via CakeML (Lightning Talk)