HOPE 2018 Contributors

Write a Blog >>

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 (24)

A Danel AhmanAhman, Danel University of LjubljanaSlovenia Committee Member in Program Committee within the HOPE-track
Michael ArntzeniusArntzenius, Michael University of Birmingham, UK Finding fixed points faster
B Stephanie BalzerBalzer, Stephanie Carnegie Mellon University, USAUnited States Committee Member in Program Committee within the HOPE-track
Aleš BizjakBizjak, Aleš Aarhus UniversityDenmark Committee Member in Program Committee within the HOPE-track
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of Tübingen, Germany Taming Control Flow through Linear Effect Handlers
G Sergey GoncharovGoncharov, Sergey Friedrich-Alexander-Universität Erlangen-Nürnberg A Metalanguage for Guarded Iteration
Ulysse GérardGérard, Ulysse INRIA Functional programming with MLTS
K Ohad KammarKammar, Ohad University of OxfordUnited Kingdom A domain theory for statistical probabilistic programming
Shin-ya KatsumataKatsumata, Shin-ya National Institute of InformaticsJapan Committee Member in Program Committee within the HOPE-track
L Daan LeijenLeijen, Daan Microsoft Research, USAUnited States Taming Control Flow through Linear Effect Handlers
M Kenji MaillardMaillard, Kenji Inria Paris and ENS Paris A preview of a tutorial on L (polarized μμ̃)
Dale MillerMiller, Dale INRIA Functional programming with MLTS
Étienne MiqueyMiquey, Étienne INRIA A preview of a tutorial on L (polarized μμ̃)
Xavier MontilletMontillet, Xavier INRIA A preview of a tutorial on L (polarized μμ̃)
Guillaume Munch-MaccagnoniMunch-Maccagnoni, Guillaume InriaFrance A preview of a tutorial on L (polarized μμ̃)
P François PottierPottier, François Inria, FranceFrance Co-chair in Organizing Committee within the HOPE-track
R Christoph RauchRauch, Christoph FAU Erlangen-Nürnberg, Lehrstuhl 8 A Metalanguage for Guarded Iteration
S Gabriel SchererScherer, Gabriel INRIA SaclayFrance Functional programming with MLTS A preview of a tutorial on L (polarized μμ̃)
Lutz SchröderSchröder, Lutz FAU Erlangen-Nürnberg, Lehrstuhl 8 A Metalanguage for Guarded Iteration
Ilya SergeySergey, Ilya University College LondonUnited Kingdom Committee Member in Program Committee within the HOPE-track
Filip SieczkowskiSieczkowski, Filip University of WrocławPoland Co-chair in Organizing Committee within the HOPE-track
Sam StatonStaton, Sam University of Oxford A domain theory for statistical probabilistic programming
T Amin TimanyTimany, Amin imec-Distrinet KU-LeuvenBelgium Committee Member in Program Committee within the HOPE-track
V Matthijs VákárVákár, Matthijs University of Oxford A domain theory for statistical probabilistic programming