ML 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 (28)

A David AllsoppAllsopp, David TaridesUnited Kingdom Session Chair of Session 1 (part of ML) Programme Committee in Program Committee within the ML-track
Emmanuel ArrighiArrighi, Emmanuel Ens LyonFrance Light-speed type unification modulo isomorphisms
B Patrycja BalikBalik, Patrycja University of Wrocław Fram: Named Parameters Pushed to the Limit
C Chris CasinghinoCasinghino, Chris Jane Street Labeled Tuples (Informed Position)
D Stephen DolanDolan, Stephen Jane StreetUnited Kingdom Rethinking the Value Restriction Designing interrupts for ML and OCaml
E Martin ElsmanElsman, Martin University of CopenhagenDenmark Session Chair of Session 2 (part of ML) Programme Committee in Program Committee within the ML-track
F Matthew FluetFluet, Matthew Rochester Institute of TechnologyUnited States Committee Member in Program Committee within the ML-track
H Sonja HeinzeHeinze, Sonja TaridesSpain Committee Member in Program Committee within the ML-track
Troels HenriksenHenriksen, Troels University of CopenhagenDenmark Program Chair in Program Committee within the ML-track
L Julia LawallLawall, Julia InriaFrance Programme Committee in Program Committee within the ML-track
M Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark Programme Committee in Program Committee within the ML-track
Guillaume Munch-MaccagnoniMunch-Maccagnoni, Guillaume INRIAFrance Session Chair of Session 3 (part of ML) Is there a use for linear types? Designing interrupts for ML and OCaml Programme Committee in Program Committee within the ML-track
P Piotr PolesiukPolesiuk, Piotr University of Wrocław Fram: Named Parameters Pushed to the Limit
R Gabriel RadanneRadanne, Gabriel InriaFrance Light-speed type unification modulo isomorphisms
Ethan RangeRange, Ethan University of CambridgeUnited Kingdom Safe Pattern Generation for Multi-Stage Programming
Nicholas RobertsRoberts, Nicholas Jane Street Pattern-matching on mutable values: danger!
Andreas RossbergRossberg, Andreas IndependentGermany Programme Committee in Program Committee within the ML-track
Thomas RéfisRéfis, Thomas Pattern-matching on mutable values: danger!
S Gabriel SchererScherer, Gabriel Université Paris Cité - Inria - CNRSFrance Pattern-matching on mutable values: danger!
Sven-Bodo ScholzScholz, Sven-Bodo Radboud UniversityNetherlands Programme Committee in Program Committee within the ML-track
Jesse SigalSigal, Jesse University of EdinburghUnited Kingdom Automatic Differentiation via Effects and Handlers in OCaml
T Ryan TjoaTjoa, Ryan University of WashingtonUnited States Labeled Tuples (Informed Position)
Matías ToroToro, Matías University of ChileChile Programme Committee in Program Committee within the ML-track
Jesse TovTov, Jesse Jane Street EuropeUnited Kingdom Session Chair of Session 4 (part of ML) Programme Committee in Program Committee within the ML-track
V Jérôme VouillonVouillon, Jérôme Wasm_of_ocaml
W Sam WestrickWestrick, Sam New York UniversityUnited States Programme Committee in Program Committee within the ML-track
Leo WhiteWhite, Leo Jane StreetUnited Kingdom Designing interrupts for ML and OCaml
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Safe Pattern Generation for Multi-Stage Programming