TyDe 2024 Contributors

Fri 6 - Sat 7 September 2024 Milan, Italy

co-located with ICFP 2024

Filter

Role Type

Contributing to

Number of Roles

Country

Results (34)

A Guillaume AllaisAllais, Guillaume University of StrathclydeUnited Kingdom Committee Member in Program Committee within the TyDe-track
Sandra AlvesAlves, Sandra University of PortoPortugal Co-chair in Program Committee within the TyDe-track Committee Member in Organising Committee within the TyDe-track
Tavo AnnusAnnus, Tavo Tallinn University of Technology Term Search in Rust
Robert AtkeyAtkey, Robert University of Strathclyde Committee Member in Program Committee within the TyDe-track
B Casper BachBach, Casper University of Southern DenmarkDenmark Modal Mu-Calculus for Free in Agda
Julia BelyakovaBelyakova, Julia Purdue UniversityUnited States Committee Member in Program Committee within the TyDe-track
Edwin BradyBrady, Edwin University of St Andrews, UKUnited Kingdom Type-level Property Based Testing
Denis BuzdalovBuzdalov, Denis Institute for System Programming of RAS Dependent Types to Push Corners of the Property-based Testing (Extended Abstract)
C Lawrence ChonavelChonavel, Lawrence Utrecht University Typed, Concise, Nanopass (pick 3) (Extended Abstract)
Jesper CockxCockx, Jesper Delft University of TechnologyNetherlands Co-chair in Program Committee within the TyDe-track Committee Member in Organising Committee within the TyDe-track
E Joseph EremondiEremondi, Joseph University of ReginaCanada Committee Member in Program Committee within the TyDe-track
Marc EtterEtter, Marc OST Eastern Switzerland University of Applied SciencesSwitzerland Towards Type-Directed API Search for Mainstream Languages
F Amy FeltyFelty, Amy University of OttawaCanada Committee Member in Program Committee within the TyDe-track
H Thomas Ekström HansenHansen, Thomas Ekström University of St AndrewsUnited Kingdom Type-level Property Based Testing
J Patrik JanssonJansson, Patrik Chalmers University of Technology and University of GothenbrugSweden Committee Member in Program Committee within the TyDe-track
Philipp JoramJoram, Philipp Tallinn University of TechnologyEstonia Term Search in Rust
Sára JuhošováJuhošová, Sára Delft University of TechnologyNetherlands How Novices Perceive Interactive Theorem Provers (Extended Abstract)
K Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Committee Member in Program Committee within the TyDe-track
Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom First-class Algebraic Presentations with Elaborator Reflection (Extended Abstract)
Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands Types for correctness, convenience, and performance
M Farhad MehtaMehta, Farhad OST Eastern Switzerland University of Applied Sciences Towards Type-Directed API Search for Mainstream Languages
Stefan MonnierMonnier, Stefan Université de MontréalCanada Normalizable types
R John ReppyReppy, John University of Chicago, USA A Type- And Control- Flow Analysis for System FC (Extended Abstract)
S Hannes SaffrichSaffrich, Hannes University of Freiburg Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium Committee Member in Program Committee within the TyDe-track
Skye SossSoss, Skye University of ChicagoUnited States A Type- And Control- Flow Analysis for System FC (Extended Abstract)
T Yudai TanabeTanabe, Yudai Tokyo Institute of TechnologyJapan Committee Member in Program Committee within the TyDe-track
Peter ThiemannThiemann, Peter University of Freiburg, Germany Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma
Ivan TodorovTodorov, Ivan Delft University of Technology Modal Mu-Calculus for Free in Agda
U Tarmo UustaluUustalu, Tarmo Reykjavik UniversityIceland Committee Member in Program Committee within the TyDe-track
V Marco VassenaVassena, Marco Utrecht UniversityNetherlands Committee Member in Program Committee within the TyDe-track
Niki VazouVazou, Niki IMDEA Software Institute Committee Member in Program Committee within the TyDe-track
W Marius WeidnerWeidner, Marius University of Freiburg Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma
Robert WrightWright, Robert University of Edinburgh First-class Algebraic Presentations with Elaborator Reflection (Extended Abstract)