FSCD 2017 Contributors -

Mon 4 - Thu 7 September 2017 Oxford, United Kingdom

co-located with ICFP 2017

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (78)

Benedikt Ahrens Author of Displayed categories within the FSCD 2017-track in FSCD 2017
Yohji Akama Author of The confluent terminating context-free substitutive rewriting system for the λ-calculus with surjective pairing and terminal type within the FSCD 2017-track in FSCD 2017
Takahito Aoto Author of Improving Rewriting Induction Approach for Proving Ground Confluence within the FSCD 2017-track in FSCD 2017
Robert Atkey University of Strathclyde Author of Continuation Passing Style for Effect Handlers within the FSCD 2017-track in FSCD 2017
Patrick Bahr IT University of Copenhagen Denmark Author of Böhm Reduction in Infinitary Term Graph Rewriting Systems within the FSCD 2017-track in FSCD 2017
Pablo Barenbaum University of Buenos Aires, Argentina / IRIF, France / University of Paris Diderot, France Author of Optimality and the Linear Substitution Calculus within the FSCD 2017-track in FSCD 2017
Malgorzata Biernacka University of Wroclaw Author of Generalized Refocusing: from Hybrid Strategies to Abstract Machines within the FSCD 2017-track in FSCD 2017
Jasmin Christian Blanchette Vrije Universiteit Amsterdam Netherlands Author of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL within the FSCD 2017-track in FSCD 2017
Eduardo Bonelli CONICET, Argentina / Universidad Nacional de Quilmes, Argentina Author of Optimality and the Linear Substitution Calculus within the FSCD 2017-track in FSCD 2017
Simon Castellan Author of Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or within the FSCD 2017-track in FSCD 2017
Witold Charatonik Author of Generalized Refocusing: from Hybrid Strategies to Abstract Machines within the FSCD 2017-track in FSCD 2017
Pierre Clairambault Author of Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or within the FSCD 2017-track in FSCD 2017
Robin Cockett Author of There is only one notion of differentiation within the FSCD 2017-track in FSCD 2017
Lukasz Czajka University of Innsbruck Author of Confluence of an extension of Combinatory Logic by Boolean constants within the FSCD 2017-track in FSCD 2017
Andrej Dudenhefner Technical University Dortmund Author of The Complexity of Principal Inhabitation within the FSCD 2017-track in FSCD 2017
Marcelo Fiore Computer Laboratory, University of Cambridge Author of List Objects with Algebraic Structure within the FSCD 2017-track in FSCD 2017
Mathias Fleury MPI-INF Germany Author of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL within the FSCD 2017-track in FSCD 2017
Koichi Fujima Author of Streett Automata Model Checking of Higher-Order Recursion Schemes within the FSCD 2017-track in FSCD 2017
Marco Gaboardi University at Buffalo, SUNY, USA United States Author of Type systems for the relational verification of higher order programs within the FSCD 2017-track in FSCD 2017
Jürgen Giesl Presenter of Termination and Complexity Competition 2017 within the FSCD 2017-track in FSCD 2017
Stefano Guerrini Author of Is the optimal implementation inefficient? Elementarily not within the FSCD 2017-track in FSCD 2017
Daniel Hillerström The University of Edinburgh United Kingdom Author of Continuation Passing Style for Effect Handlers within the FSCD 2017-track in FSCD 2017
Nao Hirokawa JAIST Author of Infinite Runs in Abstract Completion within the FSCD 2017-track in FSCD 2017
Jan Hoffmann Carnegie Mellon University United States Author of Arrays and References in Resource Aware ML within the FSCD 2017-track in FSCD 2017
Benedetto Intrigila Author of Refutation of Sallé's Longstanding Conjecture within the FSCD 2017-track in FSCD 2017
Jonas Kaiser Author of Relating System F and λ2: A Case Study in Coq, Abella and Beluga within the FSCD 2017-track in FSCD 2017
Max Kanovich Author of A polynomial-time algorithm for the Lambek calculus with brackets of bounded order within the FSCD 2017-track in FSCD 2017
Akitoshi Kawamura Author of Polynomial running times for polynomial-time oracle machines within the FSCD 2017-track in FSCD 2017
Delia Kesner IRIF, France / University of Paris Diderot, France Author of Types as Resources for Classical Natural Deduction within the FSCD 2017-track in FSCD 2017
Yuta Kimura Author of Improving Rewriting Induction Approach for Proving Ground Confluence within the FSCD 2017-track in FSCD 2017
Naoki Kobayashi University of Tokyo, Japan Author of Streett Automata Model Checking of Higher-Order Recursion Schemes within the FSCD 2017-track in FSCD 2017
Stepan Kuznetsov Author of A polynomial-time algorithm for the Lambek calculus with brackets of bounded order within the FSCD 2017-track in FSCD 2017
Peter Lefanu Lumsdaine Author of Displayed categories within the FSCD 2017-track in FSCD 2017
Jean-Simon Lemay Author of There is only one notion of differentiation within the FSCD 2017-track in FSCD 2017
Dan Licata Wesleyan University United States Author of A Fibrational Framework for Substructural and Modal Logics within the FSCD 2017-track in FSCD 2017
Benjamin Lichtman Author of Arrays and References in Resource Aware ML within the FSCD 2017-track in FSCD 2017
Sam Lindley University of Edinburgh, UK United Kingdom Author of Continuation Passing Style for Effect Handlers within the FSCD 2017-track in FSCD 2017
Tadeusz Litak Author of Negative Translations and Normal Modality within the FSCD 2017-track in FSCD 2017
Giulio Manzonetto Author of Refutation of Sallé's Longstanding Conjecture within the FSCD 2017-track in FSCD 2017
Aart Middeldorp Author of Infinite Runs in Abstract Completion within the FSCD 2017-track in FSCD 2017
Dale Miller INRIA Saclay and LIX France Program Chair of Welcome message within the FSCD 2017-track in FSCD 2017
Glyn Morrill Author of A polynomial-time algorithm for the Lambek calculus with brackets of bounded order within the FSCD 2017-track in FSCD 2017
Georg Moser University of Innsbruck Author of Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses within the FSCD 2017-track in FSCD 2017
Ian Orton Author of Models of Type Theory Based on Moore Paths within the FSCD 2017-track in FSCD 2017
Brigitte Pientka McGill University Author of Relating System F and λ2: A Case Study in Coq, Abella and Beluga within the FSCD 2017-track in FSCD 2017
Paolo Pistone Author of Dinaturality between syntax and semantics within the FSCD 2017-track in FSCD 2017
Andrew Pitts University of Cambridge Author of Models of Type Theory Based on Moore Paths within the FSCD 2017-track in FSCD 2017
Andrew Polonsky Author of Refutation of Sallé's Longstanding Conjecture within the FSCD 2017-track in FSCD 2017
Miriam Polzer Author of Negative Translations and Normal Modality within the FSCD 2017-track in FSCD 2017
Pierre Pradic Author of A Curry-Howard Approach to Church’s Synthesis within the FSCD 2017-track in FSCD 2017
Ulrich Rabenstein Author of Negative Translations and Normal Modality within the FSCD 2017-track in FSCD 2017
Jakob Rehof Technical University Dortmund Author of The Complexity of Principal Inhabitation within the FSCD 2017-track in FSCD 2017
Colin Riba Author of A Curry-Howard Approach to Church’s Synthesis within the FSCD 2017-track in FSCD 2017
Mitchell Riley Author of A Fibrational Framework for Substructural and Modal Logics within the FSCD 2017-track in FSCD 2017
Albert Rubio Presenter of Termination and Complexity Competition 2017 within the FSCD 2017-track in FSCD 2017
Philip Saville Author of List Objects with Algebraic Structure within the FSCD 2017-track in FSCD 2017
Andre Scedrov Author of A polynomial-time algorithm for the Lambek calculus with brackets of bounded order within the FSCD 2017-track in FSCD 2017
Michael Shulman Author of A Fibrational Framework for Substructural and Modal Logics within the FSCD 2017-track in FSCD 2017
Alexandra Silva University College London United Kingdom Invited speaker of Brzozowski Goes Concurrent -- A Kleene Theorem for Pomset Languages within the FSCD 2017-track in FSCD 2017
KC Sivaramakrishnan University of Cambridge United Kingdom Author of Continuation Passing Style for Effect Handlers within the FSCD 2017-track in FSCD 2017
Gert Smolka Saarland University Author of Relating System F and λ2: A Case Study in Coq, Abella and Beluga within the FSCD 2017-track in FSCD 2017
Marco Solieri University of Bath United Kingdom Author of Is the optimal implementation inefficient? Elementarily not within the FSCD 2017-track in FSCD 2017
Sam Staton University of Oxford Conference Chair of Welcome message within the FSCD 2017-track in FSCD 2017
Florian Steinberg Author of Polynomial running times for polynomial-time oracle machines within the FSCD 2017-track in FSCD 2017
Christian Sternagel Author of Infinite Runs in Abstract Completion within the FSCD 2017-track in FSCD 2017
Lutz Strassburger Author of Combinatorial Flows and their Normalisation within the FSCD 2017-track in FSCD 2017
Ryota Suzuki Author of Streett Automata Model Checking of Higher-Order Recursion Schemes within the FSCD 2017-track in FSCD 2017
Christine Tasson Author of Quantitative semantics for probabilistic programming within the FSCD 2017-track in FSCD 2017
Yoshihito Toyama Author of Improving Rewriting Induction Approach for Proving Ground Confluence within the FSCD 2017-track in FSCD 2017
Dmitriy Traytel ETH Zurich Switzerland Author of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL within the FSCD 2017-track in FSCD 2017
Takeshi Tsukada University of Tokyo, Japan Author of Streett Automata Model Checking of Higher-Order Recursion Schemes within the FSCD 2017-track in FSCD 2017
Pierre Vial Author of Types as Resources for Classical Natural Deduction within the FSCD 2017-track in FSCD 2017
Johannes Waldmann Presenter of Termination and Complexity Competition 2017 within the FSCD 2017-track in FSCD 2017
Sarah Winkler Author of Infinite Runs in Abstract Completion within the FSCD 2017-track in FSCD 2017
Glynn Winskel Author of Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or within the FSCD 2017-track in FSCD 2017
Akihisa Yamada Presenter of Termination and Complexity Competition 2017 within the FSCD 2017-track in FSCD 2017
Noam Zeilberger University of Birmingham, UK Author of A sequent calculus for semi-associativity within the FSCD 2017-track in FSCD 2017
Klara Zielińska Author of Generalized Refocusing: from Hybrid Strategies to Abstract Machines within the FSCD 2017-track in FSCD 2017