TyDe 2020 Contributors

Write a Blog >>

Sun 23 Aug 2020

co-located with ICFP 2020

Filter

Role Type

Contributing to

Number of Roles

Country

Results (38)

A Guillaume AllaisAllais, Guillaume University of St AndrewsUnited Kingdom Frex: indexing modulo equations with free extensions (Extended Abstract)
Gerard AllweinAllwein, Gerard U.S. Naval Research Laboratory Strongly Bounded Termination with Applications to Security and Hardware Synthesis
Robert AtkeyAtkey, Robert University of Strathclyde Committee Member in Program Committee within the TyDe-track
B Langston BarrettBarrett, Langston Galois, Inc Predictable Macros for Hindley-Milner (Extended Abstract)
William BlairBlair, William Boston University Developing a Dependently Typed Language with Runtime Proof Search (Extended Abstract)
Sandrine BlazyBlazy, Sandrine Univ Rennes- IRISAFrance Committee Member in Program Committee within the TyDe-track
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom Frex: indexing modulo equations with free extensions (Extended Abstract)
C Joris CeulemansCeulemans, Joris Vrije Universiteit BrusselBelgium Shallowly Embedding Type Theories as Presheaf Models in Agda (Extended Abstract)
Rohit ChadhaChadha, Rohit University of Missouri Strongly Bounded Termination with Applications to Security and Hardware Synthesis
David Thrane ChristiansenChristiansen, David Thrane Galois, USAUnited States Predictable Macros for Hindley-Milner (Extended Abstract)
Bruce CollieCollie, Bruce University of Edinburgh Retrofitting Symbolic Holes to LLVM IR (Extended Abstract)
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Committee Member in Program Committee within the TyDe-track
D Nils Anders DanielssonDanielsson, Nils Anders University of Gothenburg, Chalmers University of Technology Practical Dependent Type Checking Using Twin Types Committee Member in Program Committee within the TyDe-track
Dominique DevrieseDevriese, Dominique Vrije Universiteit BrusselBelgium Shallowly Embedding Type Theories as Presheaf Models in Agda (Extended Abstract)
Larry DiehlDiehl, Larry SymbiontUnited States Committee Member in Program Committee within the TyDe-track
E Harley D. Eades IIIEades III, Harley D. Augusta UniversityUnited States Graded Modal Dependent Type Theory (Extended Abstract)
F Amy FeltyFelty, Amy University of OttawaCanada Committee Member in Program Committee within the TyDe-track
G Jacques GarrigueGarrigue, Jacques Nagoya UniversityJapan Committee Member in Program Committee within the TyDe-track
Samuel GélineauGélineau, Samuel SimSpaceCanada Predictable Macros for Hindley-Milner (Extended Abstract)
H William HarrisonHarrison, William Oak Ridge National Laboratory Strongly Bounded Termination with Applications to Security and Hardware Synthesis
Kuen-Bang Hou (Favonia)Hou (Favonia), Kuen-Bang University of Minnesota, Twin CitiesUnited States Committee Member in Program Committee within the TyDe-track
J Ranjit JhalaJhala, Ranjit University of California at San Diego, USA Committee Member in Program Committee within the TyDe-track
K Jan-Oliver KaiserKaiser, Jan-Oliver MPI-SWS Generalization of Meta-Programs with Dependent Types in Mtac2 with Mtac2 (Extended Abstract)
Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Frex: indexing modulo equations with free extensions (Extended Abstract)
L Mark LemayLemay, Mark Boston University Developing a Dependently Typed Language with Runtime Proof Search (Extended Abstract)
Daniel R. LicataLicata, Daniel R. Wesleyan UniversityUnited States Committee Member in Program Committee within the TyDe-track
Víctor López JuanLópez Juan, Víctor Chalmers University of Technology Practical Dependent Type Checking Using Twin Types
M James McKinnaMcKinna, James University of Edinburgh PC Co-Chair in Organizing Committee within the TyDe-track PC Co-Chair in Program Committee within the TyDe-track
Benjamin MoonMoon, Benjamin School of Computing, University of KentUnited Kingdom Graded Modal Dependent Type Theory (Extended Abstract)
O Michael F. P. O'BoyleO'Boyle, Michael F. P. University of Edinburgh Retrofitting Symbolic Holes to LLVM IR (Extended Abstract)
Cyrus OmarOmar, Cyrus University of MichiganUnited States PC Co-Chair in Organizing Committee within the TyDe-track PC Co-Chair in Program Committee within the TyDe-track
Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom Graded Modal Dependent Type Theory (Extended Abstract)
R Thomas ReynoldsReynolds, Thomas University of Missouri Strongly Bounded Termination with Applications to Security and Hardware Synthesis
S Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands Committee Member in Program Committee within the TyDe-track
T Ignacio TiraboschiTiraboschi, Ignacio None Generalization of Meta-Programs with Dependent Types in Mtac2 with Mtac2 (Extended Abstract)
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Frex: indexing modulo equations with free extensions (Extended Abstract)
Z Cheng ZhangZhang, Cheng Boston University Developing a Dependently Typed Language with Runtime Proof Search (Extended Abstract)
Beta ZilianiZiliani, Beta FAMAF, UNC and CONICETArgentina Generalization of Meta-Programs with Dependent Types in Mtac2 with Mtac2 (Extended Abstract)