conf.researchr.org / Jean-Philippe Bernardy

Registered user since Thu 4 May 2017

Name: Jean-Philippe Bernardy

Affiliation: University of Gothenburg, Sweden

Contributions

Haskell 2020 Author of Composing Effects into Tasks and Workflows within the Haskell 2020-track
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
Author of A Unified View of Modalities in Type Systems within the ICFP Program-track
POPL 2019 Committee Member in Program Committee within the Research Papers-track
ICFP 2019 Author of Simple Noninterference from Parametricity within the Research Papers-track
ICFP 2017 Author of A Pretty But Not Greedy Printer (Functional Pearl) within the Research Papers-track
POPL 2018 Author of Linear Haskell: practical linearity in a higher-order polymorphic language within the Research Papers-track
Author of Linear Haskell: practical linearity in a higher-order polymorphic language within the Artifact Evaluation-track