TyDe 2018 Contributors -

Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

co-located with ICFP 2018

Filter

Role Type

Contributing to

Number of Roles

Country

Results (37)

A Guillaume AllaisAllais, Guillaume Radboud University NijmegenNetherlands Committee Member in Program Committee within the TyDe-track
Zena M. AriolaAriola, Zena M. University of Oregon, USA Committee Member in Program Committee within the TyDe-track
Robert AtkeyAtkey, Robert University of Strathclyde Extended Abstract: Context Constrained Computing
B Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of Tübingen, Germany Typing, Representing, and Abstracting Control: Functional Pearl
C Harold CarrCarr, Harold Oracle Labs, USAUnited States Authenticated Modular Maps in Haskell
David Thrane ChristiansenChristiansen, David Thrane Galois, USAUnited States Extensible Type-Directed Editing
D David DaraisDarais, David University of VermontUnited States Session Chair of Error Messages & Contexts (part of TyDe) Committee Member in Program Committee within the TyDe-track
E Richard A. EisenbergEisenberg, Richard A. Bryn Mawr College, USAUnited States Session Chair of Types (part of TyDe) Welcome! Co-chair in Program Committee within the TyDe-track Committee Member in Organizing Committee within the TyDe-track
Joseph EremondiEremondi, Joseph University of British ColumbiaCanada Extended Abstract: Improving Error Messages for Dependent Types
G Semyon GrigorevGrigorev, Semyon Saint-Petersburg State University, JetBrains ResearchRussia Extended Abstract: F# OpenCL Type Provider
H Jennifer HackettHackett, Jennifer University of Nottingham, UKUnited Kingdom Committee Member in Program Committee within the TyDe-track
Jurriaan HageHage, Jurriaan Utrecht University Extended Abstract: Improving Error Messages for Dependent Types
Maurice HerlihyHerlihy, Maurice Brown University, USA Authenticated Modular Maps in Haskell
K Shin-ya KatsumataKatsumata, Shin-ya National Institute of InformaticsJapan Committee Member in Program Committee within the TyDe-track
Christoph E. KochKoch, Christoph E. EPFL Extended Abstract: Comprehending Monoids with Class
Alex KoganKogan, Alex Oracle Labs, USAUnited States Authenticated Modular Maps in Haskell
Joomy KorkutKorkut, Joomy Wesleyan University, USA Extensible Type-Directed Editing
L Daan LeijenLeijen, Daan Microsoft Research, USAUnited States Session Chair of Applications and Monoids (part of TyDe) First Class Dynamic Effect Handlers: or, Polymorphic Heaps with Dynamic Effect Handlers Committee Member in Program Committee within the TyDe-track
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States Extrinsic vs Intrinsic Specifications, and Subset Types
M Victor Cacciari MiraldoMiraldo, Victor Cacciari Utrecht University, Netherlands Authenticated Modular Maps in Haskell Sums of Products for Mutually Recursive Datatypes: The Appropriationist’s View on Generic Programming
Mark MoirMoir, Mark Oracle Labs, New Zealand Authenticated Modular Maps in Haskell
Shin-Cheng MuMu, Shin-Cheng Academia Sinica, Taiwan Committee Member in Program Committee within the TyDe-track
N Nate NystromNystrom, Nate USI Lugano, Switzerland Implementing Resource-Aware Safe Assembly for Kernel Probes as a Dependently-Typed DSL
O Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom Committee Member in Program Committee within the TyDe-track
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Committee Member in Program Committee within the TyDe-track
P Zoe ParaskevopoulouParaskevopoulou, Zoe Princeton UniversityUnited States Committee Member in Program Committee within the TyDe-track
Alberto PardoPardo, Alberto Universidad de la Republica, Uruguay Committee Member in Program Committee within the TyDe-track
Lionel ParreauxParreaux, Lionel EPFLSwitzerland Extended Abstract: Comprehending Monoids with Class
S Philipp SchusterSchuster, Philipp University of Tübingen, Germany Typing, Representing, and Abstracting Control: Functional Pearl
Alejandro SerranoSerrano, Alejandro Utrecht University, NetherlandsNetherlands Sums of Products for Mutually Recursive Datatypes: The Appropriationist’s View on Generic Programming
Kirill SmirenkoSmirenko, Kirill Saint Petersburg State University Extended Abstract: F# OpenCL Type Provider
Matthieu SozeauSozeau, Matthieu InriaFrance Committee Member in Program Committee within the TyDe-track
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands From Algebra to Abstract Machine: A Verified Generic Construction Extended Abstract: Improving Error Messages for Dependent Types
T Carlos Tomé CortiñasTomé Cortiñas, Carlos Utrecht University, Netherlands From Algebra to Abstract Machine: A Verified Generic Construction
V Niki VazouVazou, Niki University of Maryland, USA Session Chair of Keynote (part of TyDe) Session Chair of Effect Handlers & Abstract Machine (part of TyDe) Welcome! Co-chair in Program Committee within the TyDe-track Committee Member in Organizing Committee within the TyDe-track
W James WoodWood, James University of Strathclyde Extended Abstract: Context Constrained Computing
Y Ilya YanokYanok, Ilya USI Lugano, Switzerland Implementing Resource-Aware Safe Assembly for Kernel Probes as a Dependently-Typed DSL