ML 2021 Contributors

Sun 22 - Fri 27 August 2021

co-located with ICFP 2021

Filter

Role Type

Contributing to

Number of Roles

Country

Results (44)

A Danel AhmanAhman, Danel University of LjubljanaSlovenia Committee Member in Program Committee within the ML-track
Clément AllainAllain, Clément Inria Isomorphisms are back! (short talk)
Danil AnnenkovAnnenkov, Danil Concordium Blockchain Research Center, Aarhus UniversityDenmark Code Extraction from Coq to ML-like languages
Robert AtkeyAtkey, Robert University of Strathclyde Session Chair of Compiler & Language Correctness (part of ML) Committee Member in Program Committee within the ML-track
B Allister BeharryBeharry, Allister NoneTrinidad and Tobago Sylvester: Unified, typed, notation for symbolic mathematics and proofs (short talk)
Frédéric BourBour, Frédéric TaridesFrance Committee Member in Program Committee within the ML-track
C Nicolas ChataingChataing, Nicolas ENS ParisFrance Unfolding ML datatype declarations without loops
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Committee Member in Program Committee within the ML-track
E Richard A. EisenbergEisenberg, Richard A. TweagUnited States Committee Member in Program Committee within the ML-track
Martin ElsmanElsman, Martin University of Copenhagen, DenmarkDenmark Session Chair of Semantics & Verification (part of ML) Committee Member in Program Committee within the ML-track
G Jacques GarrigueGarrigue, Jacques Nagoya UniversityJapan Formalizing OCaml GADT typing in Coq
Laure GonnordGonnord, Laure University of Lyon & LIP, FranceFrance Isomorphisms are back! (short talk)
H Robert HarperHarper, Robert Carnegie Mellon University, USAUnited States A metalanguage for multi-phase modularity
Daniel HillerströmHillerström, Daniel The University of EdinburghUnited Kingdom Composing UNIX with Effect Handlers: A Case Study in Effect Handler Oriented Programming
I Danko IlikIlik, Danko Siemens Mobility Demo Paper : Coqlex, an approach to generate verified lexers
Keigo ImaiImai, Keigo Gifu UniversityJapan Verifying Multiparty Communication Protocols using ML Type Systems
K Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Session Chair of Inference + Short talks (part of ML) Committee Member in Program Committee within the ML-track
Naoki KobayashiKobayashi, Naoki University of Tokyo, JapanJapan Committee Member in Program Committee within the ML-track
Vasileios KoutavasKoutavas, Vasileios Trinity College Dublin Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques
L Yu-Yang LinLin, Yu-Yang Trinity College Dublin Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques
M Olivier MartinotMartinot, Olivier INRIA Frozen inference constraints for type-directed disambiguation
Mikkel MiloMilo, Mikkel Concordium Blockchain Research Center, Aarhus University Code Extraction from Coq to ML-like languages
Benoît MontaguMontagu, Benoît InriaFrance Session Chair of Language & Library Design (part of ML) Committee Member in Program Committee within the ML-track
N Rumyana NeykovaNeykova, Rumyana Brunel University London Verifying Multiparty Communication Protocols using ML Type Systems
O Wendlasida OuedraogoOuedraogo, Wendlasida Siemens Mobility & Inria Saclay Demo Paper : Coqlex, an approach to generate verified lexers
P Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and Technology Cameleer: a Deductive Verification Tool for OCaml
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States PC Chair in Organizing Committee within the ML-track
Q Xuanrui QiQi, Xuanrui Nagoya UniversityJapan Formalizing OCaml GADT typing in Coq
R Gabriel RadanneRadanne, Gabriel InriaFrance Isomorphisms are back! (short talk)
António RavaraRavara, António Department of Informatics, Faculty of Sciences and Technology, NOVA University of Lisbon and NOVA LINCSPortugal Cameleer: a Deductive Verification Tool for OCaml
S Gabriel SchererScherer, Gabriel INRIA SaclayFrance Unfolding ML datatype declarations without loops Frozen inference constraints for type-directed disambiguation
Kristina SojakovaSojakova, Kristina INRIA ParisFrance Committee Member in Program Committee within the ML-track
Bas SpittersSpitters, Bas Aarhus UniversityDenmark Code Extraction from Coq to ML-like languages
Jonathan SterlingSterling, Jonathan Carnegie Mellon University A metalanguage for multi-phase modularity
Lutz StrassburgerStrassburger, Lutz Inria Saclay & LIX, Ecole Polytechnique Demo Paper : Coqlex, an approach to generate verified lexers
Don SymeSyme, Don Microsoft Keynote: Narratives and Lessons from The Early History of F# Committee Member in Program Committee within the ML-track
T Hanneli TavanteTavante, Hanneli McGill University A Data-centered User Study for jsCoq (short talk)
Matías ToroToro, Matías University of Chile Committee Member in Program Committee within the ML-track
Nikos TzevelekosTzevelekos, Nikos Queen Mary University of LondonUnited Kingdom Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques
U Katsuhiro UenoUeno, Katsuhiro Tohoku UniversityJapan Committee Member in Program Committee within the ML-track
W Scott WlaschinWlaschin, Scott None Experience Report: Domain Modeling with F# (short talk)
Y Nobuko YoshidaYoshida, Nobuko Imperial College London Verifying Multiparty Communication Protocols using ML Type Systems
Shoji YuenYuen, Shoji Nagoya University Verifying Multiparty Communication Protocols using ML Type Systems
Ç Ezgi ÇiçekÇiçek, Ezgi Facebook London Committee Member in Program Committee within the ML-track