TyDe 2017 Contributors -

Sun 3 - Sat 9 September 2017 Oxford, United Kingdom

co-located with ICFP 2017

Filter

Role Type

Contributing to

Number of Roles

Country

Results (33)

A Nada AminAmin, Nada University of CambridgeUnited Kingdom Committee Member in Program Committee within the TyDe-track
B Ana BoveBove, Ana Chalmers University of Technology, Sweden Committee Member in Program Committee within the TyDe-track
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom Type-directed reasoning for probabilistic, non-compositional resources
Nick BrownBrown, Nick EPCC Type oriented programming for task based parallelism
James Mark BullBull, James Mark EPCC Type oriented programming for task based parallelism
C Ludovic CapelliCapelli, Ludovic EPCCUnited Kingdom Type oriented programming for task based parallelism
Zilin ChenChen, Zilin UNSW, Australia Cogent⇑: giving systems engineers a stepping stone
Tyng-Ruey ChuangChuang, Tyng-Ruey Institute of Information Science, Academia Sinica Type safe Redis queries -- a case study of type-level programming in Haskell
Dave ClarkeClarke, Dave Uppsala Univ. Sweden and KU Leuvern Affine killing
D Pierre-Evariste DagandDagand, Pierre-Evariste LIP6/CNRS France Type-directed diffing of structured data
F Kiko Fernandez-ReyesFernandez-Reyes, Kiko Uppsala UniversitySweden Affine killing
H Kevin HammondHammond, Kevin University of St. Andrews, UK Type-directed reasoning for probabilistic, non-compositional resources
J Limin JiaJia, Limin Carnegie Mellon University Committee Member in Program Committee within the TyDe-track
Patricia JohannJohann, Patricia Appalachian State University Committee Member in Program Committee within the TyDe-track
K Yukiyoshi KameyamaKameyama, Yukiyoshi University of Tsukuba, JapanJapan Committee Member in Program Committee within the TyDe-track
Andrew KennedyKennedy, Andrew Facebook London Driving types into PHP
L Ting-Yan LaiLai, Ting-Yan Institute of Information Science, Academia Sinica Type safe Redis queries -- a case study of type-level programming in Haskell
Daan LeijenLeijen, Daan Microsoft ResearchUnited States Structured asynchrony with algebraic effects
Sam LindleyLindley, Sam University of Edinburgh, UKUnited Kingdom Welcome Co-chair in Organizing Committee within the TyDe-track Co-chair in Program Committee within the TyDe-track
M Assia MahboubiMahboubi, Assia INRIAFrance Committee Member in Program Committee within the TyDe-track
James McKinnaMcKinna, James University of Edinburgh On ringads and foldables
Victor Cacciari MiraldoMiraldo, Victor Cacciari University of Utrecht Type-directed diffing of structured data
Shin-Cheng MuMu, Shin-Cheng Academia Sinica, Taiwan Type safe Redis queries -- a case study of type-level programming in Haskell
O Liam O'ConnorO'Connor, Liam University of New South WalesAustralia Committee Member in Program Committee within the TyDe-track
Nicolas OuryOury, Nicolas Jane Street Committee Member in Program Committee within the TyDe-track
P Jennifer PaykinPaykin, Jennifer University of PennsylvaniaUnited States Committee Member in Program Committee within the TyDe-track
S Christopher SchwaabSchwaab, Christopher University of St Andrews Type-directed reasoning for probabilistic, non-compositional resources
Paula SeveriSeveri, Paula University of Leicester Committee Member in Program Committee within the TyDe-track
Wouter SwierstraSwierstra, Wouter University of UtrechtNetherlands Generic packet descriptions: verified parsing and pretty printing of low-level data Type-directed diffing of structured data
U Tarmo UustaluUustalu, Tarmo Tallinn University of Technology, Estonia Committee Member in Program Committee within the TyDe-track
V Marcell van Geestvan Geest, Marcell Utrecht University Generic packet descriptions: verified parsing and pretty printing of low-level data
Y Jeremy YallopYallop, Jeremy University of Cambridge, UK Committee Member in Program Committee within the TyDe-track
Brent YorgeyYorgey, Brent Hendrix CollegeUnited States Welcome Co-chair in Organizing Committee within the TyDe-track Co-chair in Program Committee within the TyDe-track