Jean-Philippe Bernardy
where else to find them
no profile links on file
what they talk about
where they keep going back
- ICFP2 editions2020–2022
on a stage with
- Andreas Abelonce
- Arnaud Spiwackonce
- Csongor Kissonce
all 8 in the filters
who talks about the same things
- Ryan R. Newton3 talks
- Andreas Abel6 talks
- J. Garrett Morris11 talks
- Arnaud Spiwack4 talks
- Simon Peyton Jones26 talks
- Philip Wadler14 talks
| title | conference | date |
|---|---|---|
| A Graded Modal Type Theory for Pulse Schedules | PLanQC 2026 | 2026-01-12 |
Provides a pair of linearly typed languages with semantics in symmetric monoidal categories: a plain circuit language and Grampus, an annotated language that… | ||
| Linearly Qualified Types: Generic Inference for Capabilities and Uniqueness | ICFP 2022 | 2022-09-11 |
Adds implicit linear constraints as qualified types and implements a constraint generation and inference algorithm that extends GHCs solver, desugaring the… | ||
| Linear Haskell, Today and Tomorrow | Haskell Symposium 2021 | 2021-08-26 |
GHC 9 ships a working linear-types extension and the talk demos code: identity and map type-check with GHC 9 linear types, lists and functions become… | ||
| A Unified View of Modalities in Type Systems | ICFP 2020 | 2020-08-23 |
Proposes a single algebraic structure of modalities embedded in System F that recovers linear, usage-counting, security, sensitivity and belief-style systems… | ||
| nothing matches | ||