HOPE 2024 Contributors

Mon 2 - Sat 7 September 2024 Milan, Italy

co-located with ICFP 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (37)

A Reynald AffeldtAffeldt, Reynald AIST Mechanized monadic equational reasoning for ML references
Amal AhmedAhmed, Amal Northeastern University, USAUnited States An Incremental Approach to the Semantics of Borrowing
Aurore AlcoleiAlcolei, Aurore INRIA RennesFrance Committee Member in Program Committee within the HOPE-track
Carlo AngiuliAngiuli, Carlo Indiana UniversityUnited States Committee Member in Program Committee within the HOPE-track
B Patrick BahrBahr, Patrick IT University of CopenhagenDenmark Committee Member in Program Committee within the HOPE-track
Patrycja BalikBalik, Patrycja University of Wrocław Logical Relations for Effect Capabilities
C Brian CampbellCampbell, Brian University of Edinburgh Effectful Assembly Programming with AsmFX
Sidney CongardCongard, Sidney Towards a linear functional translation for borrowing
Raphaëlle CrubilléCrubillé, Raphaëlle CNRS Amplifying Contextual Distance in Higher-Order Languages, using the Law of Large Numbers
F Patrick FerrisFerris, Patrick University of Cambridge, UKUnited Kingdom Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads
G Jacques GarrigueGarrigue, Jacques Nagoya UniversityJapan Mechanized monadic equational reasoning for ML references
Olek GierczakGierczak, Olek Northeastern University An Incremental Approach to the Semantics of Borrowing
Armaël GuéneauGuéneau, Armaël Inria Saclay - LMFFrance Committee Member in Program Committee within the HOPE-track
J Guilhem JaberJaber, Guilhem Nantes UniversitéFrance Program Co-Chair in Program Committee within the HOPE-track
Jules JacobsJacobs, Jules Cornell University Committee Member in Program Committee within the HOPE-track
K Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Paella: algebraic effects with parameters and their handlers
L Rodolphe LepigreLepigre, Rodolphe BedRock SystemsGermany Committee Member in Program Committee within the HOPE-track
John LiLi, John Northeastern University An Incremental Approach to the Semantics of Borrowing
Sam LindleyLindley, Sam University of EdinburghUnited Kingdom Effectful Assembly Programming with AsmFX
M Anil MadhavapeddyMadhavapeddy, Anil University of Cambridge, UKUnited Kingdom Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads
Houssein MansourMansour, Houssein Aix-Marseille Université Amplifying Contextual Distance in Higher-Order Languages, using the Law of Large Numbers
Brianna MarshallMarshall, Brianna Northeastern University An Incremental Approach to the Semantics of Borrowing
Cristina MatacheMatache, Cristina University of Edinburgh Paella: algebraic effects with parameters and their handlers
Conor McBrideMcBride, Conor University of Strathclyde Paella: algebraic effects with parameters and their handlers
Rasmus Ejlers MøgelbergMøgelberg, Rasmus Ejlers IT University of CopenhagenDenmark An introduction to synthetic guarded domain theory with applications to probabilistic programming languages Keynote Speaker in Keynote Speaker within the HOPE-track
N Max S. NewNew, Max S. University of MichiganUnited States Program Co-Chair in Program Committee within the HOPE-track
O Cyrus OmarOmar, Cyrus University of MichiganUnited States Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads
P Piotr PolesiukPolesiuk, Piotr University of Wrocław Logical Relations for Effect Capabilities
R Wilmer RicciottiRicciotti, Wilmer University of Edinburgh, UKItaly Effectful Assembly Programming with AsmFX
S Takafumi SaikawaSaikawa, Takafumi Nagoya UniversityJapan Mechanized monadic equational reasoning for ML references
Jesse SigalSigal, Jesse University of EdinburghUnited Kingdom Paella: algebraic effects with parameters and their handlers
Ian StarkStark, Ian The University of EdinburghUnited Kingdom Effectful Assembly Programming with AsmFX
W Andrew WagnerWagner, Andrew Northeastern University An Incremental Approach to the Semantics of Borrowing
Leo WhiteWhite, Leo Jane StreetUnited Kingdom Arrows as applicatives in a monad
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom Committee Member in Program Committee within the HOPE-track
Y Irene YoonYoon, Irene InriaFrance Committee Member in Program Committee within the HOPE-track
Z Maaike ZwartZwart, Maaike Committee Member in Program Committee within the HOPE-track