TyDe 2023 Contributors

Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

co-located with ICFP 2023

Filter

Role Type

Contributing to

Number of Roles

Country

Results (37)

A Reynald AffeldtAffeldt, Reynald National Institute of Advanced Industrial Science and Technology (AIST), Japan Session Chair of TyDe: Type-Driven Types (part of TyDe) An Intrinsically-typed Probabilistic Programming Language in Coq (Extended Abstract) Committee Member in Program Committee within the TyDe-track
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Semantic Encapsulation using Linking Types
Sandra AlvesAlves, Sandra University of PortoPortugal Committee Member in Program Committee within the TyDe-track
B William BlairBlair, William Boston University A Dependently Typed Language with Dynamic Equality
C Serena ChanChan, Serena Meta A Type System For Feature Engineering (Extended Abstract)
Stephen ChangChang, Stephen University of Massachusetts BostonUnited States Committee Member in Program Committee within the TyDe-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Program Co-Chair in Organization Committee within the TyDe-track
D Pierre-Evariste DagandDagand, Pierre-Evariste IRIF / CNRS France Session Chair of TyDe: Welcome & Keynote (part of TyDe) Welcome Program Co-Chair in Organization Committee within the TyDe-track
E Harley D. Eades IIIEades III, Harley D. Augusta UniversityUnited States Combining Dependency, Grades, and Adjoint Logic
F Qiancheng FuFu, Qiancheng Boston University A Calculus of Inductive Linear Constructions A Dependently Typed Language with Dynamic Equality
G Jacques GarrigueGarrigue, Jacques Nagoya UniversityJapan A type-theoretic account of quantum computation (Extended Abstract)
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Multi-phase computation as an applicative functor
H Peter HanukaevHanukaev, Peter Augusta University Combining Dependency, Grades, and Adjoint Logic
Hongwei XiHongwei Xi Boston University A Calculus of Inductive Linear Constructions A Dependently Typed Language with Dynamic Equality
L Mark LemayLemay, Mark Autodesk A Dependently Typed Language with Dynamic Equality
M Weixi MaMa, Weixi Meta A Type System For Feature Engineering (Extended Abstract)
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark Committee Member in Program Committee within the TyDe-track
Victor Cacciari MiraldoMiraldo, Victor Cacciari ChannableNetherlands Committee Member in Program Committee within the TyDe-track
P Adam PaszkePaszke, Adam Google ResearchPoland Infix-Extensible Record Types for Tabular Data
Daniel PattersonPatterson, Daniel Northeastern UniversityUnited States Semantic Encapsulation using Linking Types
Jennifer PaykinPaykin, Jennifer IntelUnited States Exploring modal types for the Intel Quantum SDK (Extended Abstract)
Alex PotaninPotanin, Alex Australian National UniversityAustralia Pipit: Reactive Systems in F★ (Extended Abstract)
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research, RedmondUnited States Committee Member in Program Committee within the TyDe-track
R Marianna RapoportRapoport, Marianna Amazon Web ServicesCanada Committee Member in Program Committee within the TyDe-track
Christine RizkallahRizkallah, Christine University of MelbourneAustralia Committee Member in Program Committee within the TyDe-track
Amos RobinsonRobinson, Amos Australian National University, AustraliaAustralia Pipit: Reactive Systems in F★ (Extended Abstract)
S Takafumi SaikawaSaikawa, Takafumi Nagoya UniversityJapan A type-theoretic account of quantum computation (Extended Abstract)
Ayumu SaitoSaito, Ayumu Tokyo Institute of Technology An Intrinsically-typed Probabilistic Programming Language in Coq (Extended Abstract)
Fridtjof SiebertSiebert, Fridtjof Tokiwa Software GmbH Types as First-Class Values in Fuzion (Extended Abstract)
Filip SieczkowskiSieczkowski, Filip Heriot-Watt UniversityUnited Kingdom Session Chair of TyDe: Type-Driven Designs (part of TyDe) Committee Member in Program Committee within the TyDe-track
Aaron StumpStump, Aaron The University of Iowa, USAUnited States Committee Member in Program Committee within the TyDe-track
T Peter ThiemannThiemann, Peter University of Freiburg, Germany Towards Tagless Interpretation of Stratified System F (Extended Abstract) Committee Member in Program Committee within the TyDe-track
W Andrew WagnerWagner, Andrew Northeastern University Semantic Encapsulation using Linking Types
Marius WeidnerWeidner, Marius University of Freiburg Towards Tagless Interpretation of Stratified System F (Extended Abstract)
X Ningning XieXie, Ningning University of Toronto / Google DeepMindCanada Session Chair of TyDe: Type-Driven Runtimes (part of TyDe) Infix-Extensible Record Types for Tabular Data Committee Member in Program Committee within the TyDe-track
Y Fei YuYu, Fei Meta A Type System For Feature Engineering (Extended Abstract)
Z Cheng ZhangZhang, Cheng Boston UniversityUnited States A Dependently Typed Language with Dynamic Equality