ML 2017 Contributors -

Thu 7 Sep 2017 Oxford, United Kingdom

co-located with ICFP 2017

Filter

Role Type

Contributing to

Number of Roles

Country

Results (38)

A Samodya AbeysiriwardaneAbeysiriwardane, Samodya Purdue University Mergeable types
Vincent Archambault-BouffardArchambault-Bouffard, Vincent Université de Montréal Typer: an infix statically typed Lisp
B Nick BentonBenton, Nick Facebook LondonUnited Kingdom Committee Member in Program Committee within the ML-track
Malgorzata BiernackaBiernacka, Malgorzata University of Wroclaw Committee Member in Program Committee within the ML-track
Dmitri BoulytchevBoulytchev, Dmitri Relational conversion for OCaml
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom State machines all the way down
C Arthur CharguéraudCharguéraud, Arthur InriaFrance VOCAL -- a verified OCAml Library Efficient representation of large, dynamic sequences in ML
D Pierre DelaunayDelaunay, Pierre Université de Montréal Typer: an infix statically typed Lisp
Stephen DolanDolan, Stephen First-class subtypes Effectively tackling the awkward squad Committee Member in Program Committee within the ML-track
E Spiros EliopoulosEliopoulos, Spiros Jane Street Group Effectively tackling the awkward squad
F Jean-Christophe FilliatreFilliatre, Jean-Christophe CNRS, Paris, France VOCAL -- a verified OCAml Library
H Daniel HillerströmHillerström, Daniel The University of EdinburghUnited Kingdom Effectively tackling the awkward squad
J Suresh JagannathanJagannathan, Suresh Purdue University Mergeable types
K Gowtham KakiKaki, Gowtham Purdue University Mergeable types
Shin-ya KatsumataKatsumata, Shin-ya National Institute of InformaticsJapan Committee Member in Program Committee within the ML-track
Oleg KiselyovKiselyov, Oleg Effects without monads: non-determinism
L Julia LawallLawall, Julia Inria/LIP6 Committee Member in Program Committee within the ML-track
Sam LindleyLindley, Sam University of Edinburgh, UKUnited Kingdom Session Chair of Invited talk (part of ML) Session Chair of Welcome (part of ML) Chair in Organizing Committee within the ML-track Chair in Program Committee within the ML-track
Petr LozovLozov, Petr Sain Petersburg State University, SPbGU Relational conversion for OCaml
M Anil MadhavapeddyMadhavapeddy, Anil OCaml LabsUnited Kingdom Effectively tackling the awkward squad
Stefan MonnierMonnier, Stefan Université de Montréal Typer: an infix statically typed Lisp
Koko MuroyaMuroya, Koko University of Birmingham, UK Towards abductive functional programming
O Atsushi OhoriOhori, Atsushi Tohoku University, Japan Making SML# a general-purpose high-performance language
P Mário PereiraPereira, Mário LRI - Université Paris-Sud VOCAL -- a verified OCAml Library
François PottierPottier, François Inria, FranceFrance VOCAL -- a verified OCAml Library
R Gabriel RadanneRadanne, Gabriel Université Denis Diderot Paris 7, PPSFrance Tierless modules
Mike RaineyRainey, Mike Efficient representation of large, dynamic sequences in ML
Andreas RossbergRossberg, Andreas GoogleGermany Committee Member in Program Committee within the ML-track
Sukyoung RyuRyu, Sukyoung KAISTKorea, South Committee Member in Program Committee within the ML-track
S Gabriel SchererScherer, Gabriel Northeastern UniversityUnited States Committee Member in Program Committee within the ML-track
KC SivaramakrishnanSivaramakrishnan, KC University of CambridgeUnited Kingdom Effectively tackling the awkward squad Mergeable types
Alley StoughtonStoughton, Alley Boston UniversityUnited States Committee Member in Program Committee within the ML-track
T Kenjiro TauraTaura, Kenjiro The University of Tokyo Making SML# a general-purpose high-performance language
U Katsuhiro UenoUeno, Katsuhiro Tohoku UniversityJapan Making SML# a general-purpose high-performance language
V Niki VazouVazou, Niki University of Maryland Committee Member in Program Committee within the ML-track
Jérôme VouillonVouillon, Jérôme Univ Paris Diderot, Sorbonne Paris Cité, BeSport Tierless modules
W Leo WhiteWhite, Leo Jane Street Effectively tackling the awkward squad
Y Jeremy YallopYallop, Jeremy University of Cambridge, UK First-class subtypes