Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023 Contributors - Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023

Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

co-located with ICFP 2023

Filter

Role Type

Contributing to

Number of Roles

Country

Results (23)

A Léo AndrèsAndrès, Léo LMF, OCamlProFrance Wasocaml: a compiler from OCaml to WebAssembly (moved from OCaml workshop)
B Lars BergstromBergstrom, Lars GoogleUnited States Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
C Pierre ChambartChambart, Pierre OCamlPRO Wasocaml: a compiler from OCaml to WebAssembly (moved from OCaml workshop) Flambda 2 Types: An abstract domain for static analysis of functional programs (moved from OCaml workshop)
E Richard A. EisenbergEisenberg, Richard A. Jane StreetUnited States Layout Polymorphism: Using static computation to allow efficient polymorphism over variable representations
Martin ElsmanElsman, Martin University of Copenhagen, DenmarkDenmark Programming with Explicit Effects in ReML Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
F Matthew FluetFluet, Matthew Rochester Institute of TechnologyUnited States Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
G Jacques GarrigueGarrigue, Jacques Nagoya UniversityJapan Session Chair of ML Workshop: Session 1 (part of Higher-order, Typed, Inferred, Strict: ML Family Workshop) Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
K Oleg KiselyovKiselyov, Oleg Tohoku University Session Chair of ML Workshop: Session 4 (part of Higher-order, Typed, Inferred, Strict: ML Family Workshop) Session Chair of ML Workshop: Session 2 (part of Higher-order, Typed, Inferred, Strict: ML Family Workshop) Chair in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
L Vincent LAVIRONLAVIRON, Vincent OCamlPro Flambda 2 Types: An abstract domain for static analysis of functional programs (moved from OCaml workshop)
Julia LawallLawall, Julia InriaFrance Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
Daan LeijenLeijen, Daan Microsoft ResearchUnited States Exploring Perceus For OCaml
M David MacQueenMacQueen, David University of Chicago (Emeritus) A New Standard ML Prettyprinter Library, An Experience Report Modernizing Standard ML of New Jersey: A Status Report
Andrey MokhovMokhov, Andrey Jane StreetUnited Kingdom Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
Benoît MontaguMontagu, Benoît InriaFrance The Design and Implementation of an Abstract Interpreter for OCaml Programs: A Preliminary Report on the Salto Analyser Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
Guillaume Munch-MaccagnoniMunch-Maccagnoni, Guillaume INRIAFrance Resource polymorphism: proposal for integrating first-class resources into ML Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
P Elton PintoPinto, Elton Georgia Institute of Technology Exploring Perceus For OCaml
Matija PretnarPretnar, Matija University of Ljubljana, SloveniaSlovenia Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
R John ReppyReppy, John University of Chicago, USA Modernizing Standard ML of New Jersey: A Status Report
Andreas RossbergRossberg, Andreas IndependentGermany Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
S Gabriel SchererScherer, Gabriel INRIA SaclayFrance Committee Member in Program Committee within the Higher-order, Typed, Inferred, Strict: ML Family Workshop-track
Sven-Bodo ScholzScholz, Sven-Bodo Heriot-Watt UniversityUnited Kingdom Immutable Arrays Help Mutating Arrays More Efficiently
Mark ShinwellShinwell, Mark Jane Street Flambda 2 Types: An abstract domain for static analysis of functional programs (moved from OCaml workshop)
W Leo WhiteWhite, Leo Jane Street Semi-explicit polymorphic parameters