OCaml 2017 Contributors -

Sun 3 - Sat 9 September 2017 Oxford, United Kingdom

co-located with ICFP 2017

Filter

Role Type

Contributing to

Number of Roles

Country

Results (39)

A Ashish AgarwalAgarwal, Ashish Committee Member in Program Committee within the OCaml-track
David AllsoppAllsopp, David University of CambridgeUnited Kingdom Invited talk: new contributors
Florian AngelettiAngeletti, Florian Invited talk: new contributors
B François BobotBobot, François CEA Committee Member in Program Committee within the OCaml-track
Frédéric BourBour, Frédéric OCaml Labs Committee Member in Program Committee within the OCaml-track
Arthur BREITMANBREITMAN, Arthur Dynamic Ledger Solutions Tezos: the OCaml Crypto-Ledger
C Cristiano CalcagnoCalcagno, Cristiano Facebook Committee Member in Program Committee within the OCaml-track
Benjamin CanouCanou, Benjamin OCamlPro, n.n. Tezos: the OCaml Crypto-Ledger
Pierre ChambartChambart, Pierre OCamlPRO Tezos: the OCaml Crypto-Ledger
D Gabriel de Perthuisde Perthuis, Gabriel OCaml Labs Wodan: a pure OCaml, flash-aware filesystem library
Jeremie DiminoDimino, Jeremie Jane Street Europe Jbuilder: a modern approach to OCaml development
Stephen DolanDolan, Stephen Testing with Crowbar A memory model for multicore OCaml
G Louis GesbertGesbert, Louis OCamlPro Committee Member in Program Committee within the OCaml-track
Bury GuillaumeGuillaume, Bury INRIA / LSV / CNRS mSAT: An OCaml SAT Solver
H Grégoire HenryHenry, Grégoire OCamlPro, n.n. Tezos: the OCaml Crypto-Ledger
Sébastien HindererHinderer, Sébastien InriaFrance Invited talk: new contributors Committee Member in Program Committee within the OCaml-track
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Committee Member in Program Committee within the OCaml-track
K Oleg KiselyovKiselyov, Oleg Committee Member in Program Committee within the OCaml-track
L Julia LawallLawall, Julia Inria/LIP6 Committee Member in Program Committee within the OCaml-track
Fabrice Le FessantLe Fessant, Fabrice OCamlPro Tezos: the OCaml Crypto-Ledger
Runhang LiLi, Runhang Twitter, Inc Extending OCaml's open
Zhanpeng LiangLiang, Zhanpeng University of Southern California Component-based Program Synthesis in OCaml
Sam LindleyLindley, Sam University of Edinburgh, UKUnited Kingdom Committee Member in Program Committee within the OCaml-track
M Anil MadhavapeddyMadhavapeddy, Anil OCaml LabsUnited Kingdom The State of the OCaml Platform: September 2017
Louis MandelMandel, Louis IBM ResearchUnited States Committee Member in Program Committee within the OCaml-track
Sebastien MondetMondet, Sebastien Mount Sinai - Hammer Lab Genspio: Generating Shell Phrases In OCaml Bioinformatics, The Typed Tagless Final Way
P Zoe ParaskevopoulouParaskevopoulou, Zoe Princeton University, USAUnited States Committee Member in Program Committee within the OCaml-track
Mindy PrestonPreston, Mindy Testing with Crowbar
R Gabriel RadanneRadanne, Gabriel Université Denis Diderot Paris 7, PPSFrance Tyre – Typed Regular Expressions
Tom RidgeRidge, Tom University of Leicester, UK A B-tree library for OCaml
Reuben N. S. RoweRowe, Reuben N. S. University of Kent ROTOR: First Steps Towards a Refactoring Tool for OCaml
S Gabriel SchererScherer, Gabriel Northeastern UniversityUnited States Opening Chair in Organizing Committee within the OCaml-track Committee Member in Program Committee within the OCaml-track
Mark ShinwellShinwell, Mark Jbuilder: a modern approach to OCaml development
KC SivaramakrishnanSivaramakrishnan, KC University of CambridgeUnited Kingdom A memory model for multicore OCaml
T Simon ThompsonThompson, Simon ROTOR: First Steps Towards a Refactoring Tool for OCaml
Kanae TsushimaTsushima, Kanae Component-based Program Synthesis in OCaml
W Liang WangWang, Liang University of Cambridge Owl: A General-Purpose Numerical Library in OCaml
John WhitingtonWhitington, John ocamli: Interpreted OCaml
Y Jeremy YallopYallop, Jeremy University of Cambridge, UK Extending OCaml's open