TyDe 2021 Contributors

Sun 22 - Mon 23 August 2021

co-located with ICFP 2021

Filter

Role Type

Contributing to

Number of Roles

Country

Results (37)

A Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Committee Member in Program Committee within the TyDe-track
B Jean-Philippe BernardyBernardy, Jean-Philippe University of Gothenburg, Sweden Committee Member in Program Committee within the TyDe-track
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel EPFL Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract)
C Manuel ChakravartyChakravarty, Manuel Tweag & IOHKNetherlands Translation Certification for Smart Contracts (Extended Abstract)
Liang-Ting ChenChen, Liang-Ting Academia SinicaTaiwan Committee Member in Program Committee within the TyDe-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract)
D Matthew L. DaggittDaggitt, Matthew L. Heriot-Watt University Actions You Can Handle: Dependent Types for AI Plans
Ornela DardhaDardha, Ornela University of GlasgowUnited Kingdom Co-Contextual Typing Inference for the Linear π-Calculus in Agda (Extended Abstract) Committee Member in Program Committee within the TyDe-track
Tim DwyerDwyer, Tim Monash University Interactive Haskell Type Inference Exploration (Extended Abstract)
E Martín EscardóEscardó, Martín University of BirminghamUnited Kingdom Committee Member in Program Committee within the TyDe-track
F Qiancheng FuFu, Qiancheng Boston University Gradual Correctness: a Dynamically Bidirectional Full-Spectrum Dependent Type Theory (Extended Abstract)
Shuai FuFu, Shuai Monash UniversityAustralia Interactive Haskell Type Inference Exploration (Extended Abstract)
H Alasdair HillHill, Alasdair Heriot-Watt University Actions You Can Handle: Dependent Types for AI Plans
Hongwei XiHongwei Xi Boston University Gradual Correctness: a Dynamically Bidirectional Full-Spectrum Dependent Type Theory (Extended Abstract)
J Patricia JohannJohann, Patricia Appalachian State University Committee Member in Program Committee within the TyDe-track
K Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands Translation Certification for Smart Contracts (Extended Abstract)
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ Institute of Information Science, Academia SinicaTaiwan Session Chair of Session I (part of TyDe) Session Chair of Keynote (part of TyDe) Program Co-Chair in Program Committee within the TyDe-track
Wen KokkeKokke, Wen University of Edinburgh Integrating Agda with SMT-LIB – An incomplete list of pits I fell in
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University, UK Actions You Can Handle: Dependent Types for AI Plans
Jacco KrijnenKrijnen, Jacco Utrecht University Translation Certification for Smart Contracts (Extended Abstract)
Neel KrishnaswamiKrishnaswami, Neel Computer Laboratory, University of Cambridge Committee Member in Program Committee within the TyDe-track
L Mark LemayLemay, Mark Boston University Gradual Correctness: a Dynamically Bidirectional Full-Spectrum Dependent Type Theory (Extended Abstract)
M Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract)
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute Committee Member in Program Committee within the TyDe-track
N Keiko NakataNakata, Keiko SAP Innovation Center PotsdamGermany Committee Member in Program Committee within the TyDe-track
Kazuki NiimiNiimi, Kazuki Tokyo Institute of Technology Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract)
O Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom Session Chair of Session III (part of TyDe) Session Chair of Session II (part of TyDe) Program Co-Chair in Program Committee within the TyDe-track
P Ronald P. A. PetrickPetrick, Ronald P. A. Heriot-Watt University Actions You Can Handle: Dependent Types for AI Plans
S KC SivaramakrishnanSivaramakrishnan, KC IIT MadrasIndia Committee Member in Program Committee within the TyDe-track
Peter J. StuckeyStuckey, Peter J. Monash University Interactive Haskell Type Inference Exploration (Extended Abstract)
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands Translation Certification for Smart Contracts (Extended Abstract)
V Andre VidelaVidela, Andre University Of Strathclyde Optics for Generic Declarative Server APIs (Extended Abstract)
W Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States Committee Member in Program Committee within the TyDe-track
James WoodWood, James University of Strathclyde Committee Member in Program Committee within the TyDe-track
Z Uma ZalakainZalakain, Uma University of Glasgow Co-Contextual Typing Inference for the Linear π-Calculus in Agda (Extended Abstract)
Tesla ZhangZhang, Tesla The Pennsylvania State University A Simpler Encoding of Indexed Types
Beta ZilianiZiliani, Beta FAMAF, UNC and CONICETArgentina Committee Member in Program Committee within the TyDe-track