TyDe 2022 Contributors

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

co-located with ICFP 2022

Filter

Role Type

Contributing to

Number of Roles

Country

Results (41)

A Nada AminAmin, Nada Harvard UniversityUnited States Co-chair in Organization Committee within the TyDe-track
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Towards Dependently-Typed Control Effects (Extended Abstract)
B Jean-Philippe BernardyBernardy, Jean-Philippe University of Gothenburg, Sweden Committee Member in Program Committee within the TyDe-track
David BinderBinder, David University of Tübingen Structural Refinement Types
Andrew BlinnBlinn, Andrew University of MichiganUnited States tylr, a tiny tile-based structure editor
Oliver BračevacBračevac, Oliver Purdue UniversityUnited States Committee Member in Program Committee within the TyDe-track
C Zilin ChenChen, Zilin UNSW SydneyAustralia A Hoare-Logic Style Refinement Types Formalisation
Jürgen CitoCito, Jürgen TU WienAustria Toward Grammar Inference via Refinement Types (Extended Abstract)
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Towards Dependently-Typed Control Effects (Extended Abstract)
Nathan CorbynCorbyn, Nathan University of OxfordUnited Kingdom Normalization by Evaluation with Free Extensions (Extended Abstract)
Pierre-Louis CurienCurien, Pierre-Louis Univ. Paris Diderot and INRIA Paris-RocquencourtFrance Mu tilde (re)cycled
D Pierre-Evariste DagandDagand, Pierre-Evariste LIP6/CNRS France Committee Member in Program Committee within the TyDe-track
Stephen DolanDolan, Stephen Computing with Generic Trees in Agda
E Harley D. Eades IIIEades III, Harley D. Augusta UniversityUnited States Co-chair in Organization Committee within the TyDe-track
G Marco GaboardiGaboardi, Marco Boston UniversityUnited States Session Chair of TyDe 3 / Zena's Birthday 1 (part of TyDe) Session Chair of Zena's Birthday 2 (part of TyDe) Zena's birthday introduction
Silvia GhilezanGhilezan, Silvia University of Novi Sad, Mathematical Institute SASASerbia Duality of intersection and union types - where and how?
Anitha GollamudiGollamudi, Anitha University of Massachusetts Lowell Committee Member in Program Committee within the TyDe-track
H Robert HarperHarper, Robert Carnegie Mellon UniversityUnited States OPLSS over twenty years (online)
Matthias HeinzelHeinzel, Matthias Utrecht UniversityNetherlands Provingly Correct Optimisations on Intrinsically Typed Expressions (Extended Abstract)
Hugo HerbelinHerbelin, Hugo The impact of delimited control and call-by-need in proof theory
K Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Normalization by Evaluation with Free Extensions (Extended Abstract) Idris2-Table: evaluating dependently-typed tables with the Brown Benchmark for Table Types (Extended Abstract)
Delia KesnerKesner, Delia Université de Paris; CNRS; IRIF; Institut Universitaire de FranceFrance A Computational Interpretation of Girard's Intuitionistic Proof-Nets
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ Institute of Information Science, Academia SinicaTaiwan Session Chair of TyDe 1 (part of TyDe) Syntax-Generic Operations, Reflectively Reified (Extended Abstract)
L Tzu-Chi LinLin, Tzu-Chi Institute of Information Science, Academia Sinica Syntax-Generic Operations, Reflectively Reified (Extended Abstract)
Sam LindleyLindley, Sam The University of Edinburgh, UKUnited Kingdom Normalization by Evaluation with Free Extensions (Extended Abstract)
David LäwenLäwen, David University of Tübingen, Germany Structural Refinement Types
M David MoonMoon, David University of Michigan tylr, a tiny tile-based structure editor
N Andreas NuytsNuyts, Andreas KU Leuven, BelgiumBelgium Contextual Algebraic Theories: Generic Boilerplate beyond Abstraction (Extended Abstract)
O Cyrus OmarOmar, Cyrus University of MichiganUnited States tylr, a tiny tile-based structure editor
Klaus OstermannOstermann, Klaus University of Tübingen Structural Refinement Types
P Simon Peyton JonesPeyton Jones, Simon Epic Games United Kingdom Compiling without continuations
S Amr SabrySabry, Amr Indiana UniversityUnited States On the power of syntactic methods: It is all syntax after all…
Gabriel SchererScherer, Gabriel INRIA SaclayFrance Session Chair of TyDe 3 / Zena's Birthday 1 (part of TyDe) Session Chair of Tyde 2 (part of TyDe) Committee Member in Program Committee within the TyDe-track
Michael SchröderSchröder, Michael TU WienAustria Toward Grammar Inference via Refinement Types (Extended Abstract)
Ingo SkupinSkupin, Ingo University of Tübingen Structural Refinement Types
Jonathan SterlingSterling, Jonathan Aarhus UniversityDenmark Committee Member in Program Committee within the TyDe-track
Michel SteuwerSteuwer, Michel University of EdinburghUnited Kingdom Idris2-Table: evaluating dependently-typed tables with the Brown Benchmark for Table Types (Extended Abstract)
U Tarmo UustaluUustalu, Tarmo Reykjavik UniversityIceland Committee Member in Program Committee within the TyDe-track
V Nachiappan ValliappanValliappan, Nachiappan Chalmers University of TechnologySweden Normalization by Evaluation with Free Extensions (Extended Abstract)
W Robert WrightWright, Robert The University of Edinburgh, UK Idris2-Table: evaluating dependently-typed tables with the Brown Benchmark for Table Types (Extended Abstract)
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Normalization by Evaluation with Free Extensions (Extended Abstract) Committee Member in Program Committee within the TyDe-track