ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (231)

Adams, Michael D.
National University of SingaporeUnited States
Ahmad, Adeel
Laboratoire d'Informatique Signal et Image de la Côte d'Opale, ULCO
Allais, Guillaume
University of StrathclydeUnited Kingdom
Blanco, Roberto
Max Planck Institute for Security and Privacy (MPI-SP)
Boulytchev, Dmitri
Saint Petersburg State UniversityRussia
Charguéraud, Arthur
Inria; Université de Strasbourg; CNRS; ICubeFrance
Claessen, Koen
Chalmers University of Technology and Epic GamesSweden
Deplaix, Kate
Consultant for the OCaml Software Foundation and AhrefsUnited Kingdom
Downen, Paul
University of Massachusetts LowellUnited States
Fluet, Matthew
Rochester Institute of TechnologyUnited States
Germane, Kimball
Brigham Young UniversityUnited States
Gonzalez, Gabriella
Mercury TechnologiesUnited States
H
Hagan, Kerry
University of Illinois, Urbana-ChampaignUnited States
Jansson, Patrik
Chalmers University of Technology and University of GothenbrugSweden
Jhala, Ranjit
University of California, San DiegoUnited States
Koparkar, Chaitanya
The MathWorks, Inc.United States
Krebbers, Robbert
Radboud University NijmegenNetherlands
Kuper, Lindsey
University of California, Santa CruzUnited States
Malmsten, Madeleine
Germany
Muller, Stefan K.
Illinois Institute of TechnologyUnited States
Møgelberg, Rasmus Ejlers
IT University of CopenhagenDenmark
Near, Joseph P.
University of VermontUnited States
O
Orchard, Dominic
University of Kent, UK and University of Cambridge, UKUnited Kingdom
Pereira, Mário
NOVA LINCS & DI -- Nova School of Science and TechnologyPortugal
Pierce, Benjamin C.
University of PennsylvaniaUnited States
Protzenko, Jonathan
Microsoft Research, RedmondUnited States
R
Rainey, Mike
Carnegie Mellon UniversityUnited States
Russo, Alejandro
Chalmers University of Technology, Sweden / University of Gothenburg, Sweden / DPella AB, SwedenSweden
Sato, Ryosuke
Tokyo University of Agriculture and TechnologyJapan
Sekiyama, Taro
National Institute of InformaticsJapan
Seri, Marcello
Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen
Stevens, Perdita
University of EdinburghUnited Kingdom
Swierstra, Wouter
Utrecht University, NetherlandsNetherlands
Tymoczko, Dmitri
Princeton UniversityUnited States
Verbitskaia, Ekaterina
JetBrains Research; Constructor University BremenNetherlands
Westrick, Sam
Carnegie Mellon UniversityUnited States
Wu, Nicolas
Imperial College LondonUnited Kingdom