OCaml 2024 Contributors

Mon 2 - Sat 7 September 2024 Milan, Italy

co-located with ICFP 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (40)

A Clément AllainAllain, Clément Inria Saturn: a library of verified concurrent data structures for OCaml 5
David AllsoppAllsopp, David TaridesUnited Kingdom Opam 2.2 and beyond First-Class Windows: Building a Roadmap for OCaml on Windows
Florian AngelettiAngeletti, Florian Inria Structured diagnostics for the OCaml compiler
B Roberto BlancoBlanco, Roberto Max Planck Institute for Security and Privacy (MPI-SP) Committee Member in Program Committee within the OCaml-track
Raja BoujbelBoujbel, Raja OCamlProFrance Opam 2.2 and beyond
Pierre BoutillierBoutillier, Pierre None First-Class Windows: Building a Roadmap for OCaml on Windows
C Romain CalascibettaCalascibetta, Romain robur.coopFrance B · o · B, a universal & secure file-transfer software in OCaml
Benjamin CanouCanou, Benjamin None First-Class Windows: Building a Roadmap for OCaml on Windows
Chris CasinghinoCasinghino, Chris Jane Street Flambda2 Validator
D Abigael DecorneDecorne, Abigael Committee Member in Program Committee within the OCaml-track
Kate DeplaixDeplaix, Kate Consultant for the OCaml Software Foundation and AhrefsUnited Kingdom Opam 2.2 and beyond Committee Member in Program Committee within the OCaml-track
Wenke DUDU, Wenke LIP ENS Lyon Distributed Actors in OCaml
E Richard A. EisenbergEisenberg, Richard A. Jane StreetUnited States A Non-allocating Option Committee Member in Program Committee within the OCaml-track
G Harrison GoldsteinGoldstein, Harrison University of PennsylvaniaUnited States Mica: Automated Differential Testing for OCaml Modules
Armaël GuéneauGuéneau, Armaël Inria Saclay - LMFFrance Co-chair in Program Committee within the OCaml-track
Ulysse GérardGérard, Ulysse Tarides Project-wide occurrences for OCaml, a progress report
H Sonja HeinzeHeinze, Sonja TaridesSpain Co-chair in Program Committee within the OCaml-track
Troels HenriksenHenriksen, Troels University of CopenhagenDenmark Committee Member in Program Committee within the OCaml-track
Ludovic HenrioHenrio, Ludovic University of Lyon - ENS Lyon - UCBL - CNRS - Inria - LIPFrance Distributed Actors in OCaml
Hugo HeuzardHeuzard, Hugo Committee Member in Program Committee within the OCaml-track
K Vesa KarvonenKarvonen, Vesa Tarides Picos — Interoperable effects based concurrency Saturn: a library of verified concurrent data structures for OCaml 5
M Antonio MonteiroMonteiro, Antonio NoneUnited States Committee Member in Program Committee within the OCaml-track
Carine MorelMorel, Carine TaridesFrance Saturn: a library of verified concurrent data structures for OCaml 5 Committee Member in Program Committee within the OCaml-track
Stefan K. MullerMuller, Stefan K. Illinois Institute of TechnologyUnited States Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCaml
N Ernest NgNg, Ernest Cornell University Mica: Automated Differential Testing for OCaml Modules
P Sudha ParimalaParimala, Sudha TaridesIndia First-Class Windows: Building a Roadmap for OCaml on Windows
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Mica: Automated Differential Testing for OCaml Modules
R Gabriel RadanneRadanne, Gabriel InriaFrance Distributed Actors in OCaml
Nicholas RobertsRoberts, Nicholas Jane Street Mixed Blocks: Storing More Fields Flat
Didier RémyRémy, Didier Inria On the design and implementation of Modular Explicits
S Simmo SaanSaan, Simmo University of Tartu, EstoniaEstonia Committee Member in Program Committee within the OCaml-track
Takafumi SaikawaSaikawa, Takafumi Nagoya UniversityJapan Committee Member in Program Committee within the OCaml-track
Marcello SeriSeri, Marcello Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen Committee Member in Program Committee within the OCaml-track
T Enrico TassiTassi, Enrico INRIAFrance Committee Member in Program Committee within the OCaml-track
U Rokas UrbonasUrbonas, Rokas University of Cambridge ChorCaml: Functional Choreographic Programming in OCaml
V Milla ValnetValnet, Milla Sorbonne UniversitéFrance Committee Member in Program Committee within the OCaml-track
Samuel VivienVivien, Samuel INRIA & École Normale Supérieure \| Université PSLFrance On the design and implementation of Modular Explicits
W Tim WilliamsWilliams, Tim Bloomberg Recursion schemes in OCaml: An experience report
X Ningning XieXie, Ningning University of TorontoCanada Committee Member in Program Committee within the OCaml-track
Y Irene YoonYoon, Irene INRIA Paris Flambda2 Validator