PLNL 2018 Contributors

Write a Blog >>

Thu 22 Nov 2018 Utrecht, Netherlands

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (23)

Alen Arslanagić University of Groningen Author of Type Systems with Constraints for ML Type Inference with the Implementation in Haskell within the PLNL-track in PLNL 2018
Casper Bach Poulsen Delft University of Technology Author of Intrinsically Typed Definitional Interpreters: The Good, The Bad, and The Ugly within the PLNL-track in PLNL 2018
Jasmin Blanchette Vrije Universiteit Amsterdam Netherlands Author of A Verified Automatic Prover Based on Ordered Resolution within the PLNL-track in PLNL 2018
Manuel Chakravarty Tweag I/O & IOHK Netherlands Author of A Functional Approach to Blockchain Contract Languages within the PLNL-track in PLNL 2018
Dominique Devriese Vrije Universiteit Brussel, Belgium Belgium Author of Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory within the PLNL-track in PLNL 2018
Sebastian Erdweg Delft University of Technology, Netherlands Netherlands Author of Sound and Reusable Components for Abstract Interpretation within the PLNL-track in PLNL 2018
Pablo Inostroza CWI Netherlands Author of JEff: Objects for Effect within the PLNL-track in PLNL 2018
Sven Keidel Delft University of Technology, Netherlands Netherlands Author of Sound and Reusable Components for Abstract Interpretation within the PLNL-track in PLNL 2018
Paul Klint Author of From Rascal to JVM byte code: a play in several acts within the PLNL-track in PLNL 2018
Pieter Koopman Radboud University Nijmegen, Netherlands Netherlands Author of Task Oriented Programming for the Internet of Things within the PLNL-track in PLNL 2018
Robbert Krebbers Delft University of Technology Netherlands Session Chair of 3 (part of PLNL) Organizer in Organizing Committee within the PLNL-track
Mart Lubbers Radboud University Nijmegen Author of Task Oriented Programming for the Internet of Things within the PLNL-track in PLNL 2018
Trevor L. McDonell Utrecht University Netherlands Author of High-performance parallel arrays for Haskell within the PLNL-track in PLNL 2018
Andreas Nuyts KU Leuven, Belgium Belgium Author of Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory within the PLNL-track in PLNL 2018
Rinus Plasmeijer Radboud University Nijmegen Author of Task Oriented Programming for the Internet of Things within the PLNL-track in PLNL 2018
Jorge A. Pérez University of Groningen, The Netherlands Netherlands Author of Reversible Session-Based Concurrency, and its Haskell Implementation within the PLNL-track in PLNL 2018
Anders Schlichtkrull Technical University of Denmark Author of A Verified Automatic Prover Based on Ordered Resolution within the PLNL-track in PLNL 2018
Alejandro Serrano Utrecht University, Netherlands Netherlands Author of Improving pattern matching style within the PLNL-track in PLNL 2018
Wouter Swierstra Utrecht University, Netherlands Netherlands Session Chair of 2 (part of PLNL) Organizer in Organizing Committee within the PLNL-track
Dmitriy Traytel ETH Zurich Switzerland Author of A Verified Automatic Prover Based on Ordered Resolution within the PLNL-track in PLNL 2018
Eelco Visser Delft University of Technology Netherlands Session Chair of 1 (part of PLNL) Organizer in Organizing Committee within the PLNL-track
Folkert de Vries University of Groningen Author of Reversible Session-Based Concurrency, and its Haskell Implementation within the PLNL-track in PLNL 2018
Tijs van der Storm Centrum Wiskunde & Informatica / University of Groningen Netherlands Author of JEff: Objects for Effect within the PLNL-track in PLNL 2018