PLNL 2018 Contributors

Thu 22 Nov 2018 Utrecht, Netherlands

Filter

Role Type

Contributing to

Number of Roles

Country

Results (23)

A Alen ArslanagićArslanagić, Alen University of Groningen Type Systems with Constraints for ML Type Inference with the Implementation in Haskell
B Casper Bach PoulsenBach Poulsen, Casper Delft University of Technology Intrinsically Typed Definitional Interpreters: The Good, The Bad, and The Ugly
Jasmin BlanchetteBlanchette, Jasmin Vrije Universiteit AmsterdamNetherlands A Verified Automatic Prover Based on Ordered Resolution
C Manuel ChakravartyChakravarty, Manuel Tweag I/O & IOHKNetherlands A Functional Approach to Blockchain Contract Languages
D Folkert de Vriesde Vries, Folkert University of Groningen Reversible Session-Based Concurrency, and its Haskell Implementation
Dominique DevrieseDevriese, Dominique Vrije Universiteit Brussel, BelgiumBelgium Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory
E Sebastian ErdwegErdweg, Sebastian Delft University of Technology, NetherlandsNetherlands Sound and Reusable Components for Abstract Interpretation
I Pablo InostrozaInostroza, Pablo CWINetherlands JEff: Objects for Effect
K Sven KeidelKeidel, Sven Delft University of Technology, NetherlandsNetherlands Sound and Reusable Components for Abstract Interpretation
Paul KlintKlint, Paul From Rascal to JVM byte code: a play in several acts
Pieter KoopmanKoopman, Pieter Radboud University Nijmegen, NetherlandsNetherlands Task Oriented Programming for the Internet of Things
Robbert KrebbersKrebbers, Robbert Delft University of TechnologyNetherlands Session Chair of 3 (part of PLNL) Organizer in Organizing Committee within the PLNL-track
L Mart LubbersLubbers, Mart Radboud University Nijmegen Task Oriented Programming for the Internet of Things
M Trevor L. McDonellMcDonell, Trevor L. Utrecht UniversityNetherlands High-performance parallel arrays for Haskell
N Andreas NuytsNuyts, Andreas KU Leuven, BelgiumBelgium Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory
P Rinus PlasmeijerPlasmeijer, Rinus Radboud University Nijmegen Task Oriented Programming for the Internet of Things
Jorge A. PérezPérez, Jorge A. University of Groningen, The NetherlandsNetherlands Reversible Session-Based Concurrency, and its Haskell Implementation
S Anders SchlichtkrullSchlichtkrull, Anders Technical University of Denmark A Verified Automatic Prover Based on Ordered Resolution
Alejandro SerranoSerrano, Alejandro Utrecht University, NetherlandsNetherlands Improving pattern matching style
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands Session Chair of 2 (part of PLNL) Organizer in Organizing Committee within the PLNL-track
T Dmitriy TraytelTraytel, Dmitriy ETH ZurichSwitzerland A Verified Automatic Prover Based on Ordered Resolution
V Tijs van der Stormvan der Storm, Tijs Centrum Wiskunde & Informatica / University of GroningenNetherlands JEff: Objects for Effect
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands Session Chair of 1 (part of PLNL) Organizer in Organizing Committee within the PLNL-track