Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jean-Philippe Bernardy
conf.researchr.org general profile
ICFP 2017 profile
ICFP 2019 profile
ICFP 2020 profile
ICFP 2021 profile
ICFP 2022 profile
POPL 2018 profile
POPL 2019 profile
Registered user since Thu 4 May 2017
Name:
Jean-Philippe Bernardy
Affiliation:
University of Gothenburg, Sweden
Contributions
2022
Haskell
Committee Member in Program Committee within the Haskell 2022-track
ICFP
Author of Linearly Qualified Types: Generic inference for capabilities and uniqueness within the ICFP Papers and Events-track
TyDe
Committee Member in Program Committee within the TyDe 2022-track
2021
Haskell
Invited Speaker of Linear Haskell, Today and Tomorrow within the Haskell 2021-track
Author of Evaluating Linear Functions to Symmetric Monoidal Categories within the Haskell 2021-track
TyDe
Committee Member in Program Committee within the TyDe 2021-track
2020
ICFP
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
Haskell
Author of Composing Effects into Tasks and Workflows within the Haskell 2020-track
2019
ICFP
Author of Simple Noninterference from Parametricity within the Research Papers-track
POPL
Committee Member in Program Committee within the Research Papers-track
2018
POPL
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
2017
ICFP
Author of A Pretty But Not Greedy Printer (Functional Pearl) within the Research Papers-track
Share
x
Sun 10 Dec 10:52
