ML 2018 Contributors -

Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

co-located with ICFP 2018

Filter

Role Type

Contributing to

Number of Roles

Country

Results (41)

A Danel AhmanAhman, Danel University of LjubljanaSlovenia ML as a Tactic Language, Again
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Rust Distilled: An Expressive Tower of Languages
Zena M. AriolaAriola, Zena M. University of Oregon, USA Committee Member in Program Committee within the ML-track
B Lucas BaudinBaudin, Lucas INRIA Disornamentation
Dariusz BiernackiBiernacki, Dariusz University of Wrocław Programming with Abstract Algebraic Effects
Roberto BlancoBlanco, Roberto Inria Design and verification of functional proof checkers
Dmitri BoulytchevBoulytchev, Dmitri Generic Programming with Combinators and Objects
D Stephen DolanDolan, Stephen University of CambridgeUnited Kingdom Safely Mixing OCaml and Rust
Victor DumitrescuDumitrescu, Victor ML as a Tactic Language, Again
E Martin ElsmanElsman, Martin University of Copenhagen, DenmarkDenmark Experience Report: Type-Safe Multi-Tier Programming with Standard ML Modules
G Jacques GarrigueGarrigue, Jacques Nagoya UniversityJapan Committee Member in Program Committee within the ML-track
Nick GiannarakisGiannarakis, Nick Princeton University ML as a Tactic Language, Again
H Chris HawblitzelHawblitzel, Chris Microsoft Research ML as a Tactic Language, Again
Troels HenriksenHenriksen, Troels University of Copenhagen, DenmarkDenmark Committee Member in Program Committee within the ML-track
Cătălin HriţcuHriţcu, Cătălin Inria Paris ML as a Tactic Language, Again
K Andrew KennedyKennedy, Andrew Facebook LondonUnited Kingdom Committee Member in Program Committee within the ML-track
Oleg KiselyovKiselyov, Oleg Generating Mutually Recursive Definitions
Felix KlockKlock, Felix Committee Member in Program Committee within the ML-track
Dmitrii KosarevKosarev, Dmitrii Russia Generic Programming with Combinators and Objects
Ramana KumarKumar, Ramana DeepMindUnited Kingdom Committee Member in Program Committee within the ML-track
L Ken Friis LarsenLarsen, Ken Friis DIKU, University of Copenhagen Experience Report: Type-Safe Multi-Tier Programming with Standard ML Modules
M Guido MartínezMartínez, Guido CIFASIS-CONICET, ArgentinaArgentina ML as a Tactic Language, Again Committee Member in Program Committee within the ML-track
Heather MillerMiller, Heather Carnegie Mellon University Committee Member in Program Committee within the ML-track
Philip MunksgaardMunksgaard, Philip Intelligent Alpha AG, Switzerland Experience Report: Type-Safe Multi-Tier Programming with Standard ML Modules
N Monal NarasimhamurthyNarasimhamurthy, Monal ML as a Tactic Language, Again
P Zoe ParaskevopoulouParaskevopoulou, Zoe Princeton UniversityUnited States ML as a Tactic Language, Again
Daniel PattersonPatterson, Daniel Northeastern UniversityUnited States Rust Distilled: An Expressive Tower of Languages
Maciej PirógPiróg, Maciej University of WrocławPoland Programming with Abstract Algebraic Effects
Clément Pit-ClaudelPit-Claudel, Clément MIT CSAIL ML as a Tactic Language, Again
Piotr PolesiukPolesiuk, Piotr University of Wrocław Programming with Abstract Algebraic Effects
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States ML as a Tactic Language, Again
R Tahina RamananandroRamananandro, Tahina Microsoft Research, n.n.United States ML as a Tactic Language, Again
Aseem RastogiRastogi, Aseem Microsoft ResearchIndia ML as a Tactic Language, Again
Didier RémyRémy, Didier Inria Disornamentation
S Gabriel SchererScherer, Gabriel INRIA SaclayFrance Committee Member in Program Committee within the ML-track
Filip SieczkowskiSieczkowski, Filip University of WrocławPoland Programming with Abstract Algebraic Effects Committee Member in Program Committee within the ML-track
Antonis StampoulisStampoulis, Antonis Originate Inc.United States Committee Member in Program Committee within the ML-track
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States ML as a Tactic Language, Again
T Enrico TassiTassi, Enrico INRIA ELPI: an extension language with binders and unification variables (Invited talk)
W Aaron WeissWeiss, Aaron Northeastern UniversityUnited States Rust Distilled: An Expressive Tower of Languages
Y Jeremy YallopYallop, Jeremy University of Cambridge, UK Generating Mutually Recursive Definitions