• Sign in
  • Sign up
conf.researchr.org / Patrick Ferris
  • ICFP 2021 profile
  • ICFP 2023 profile
  • ICFP 2024 profile
  • ICFP/SPLASH 2025 profile
  • POPL 2024 profile
Patrick Ferris

Registered user since Sat 31 Jul 2021

Name:Patrick Ferris
Country:United Kingdom
Affiliation:University of Cambridge, UK
Personal website: https://patrick.sirref.org
GitHub: https://github.com/patricoferris
Research interests:Systems, Functional Programming

Contributions

2025

HATRA

  • Author of Decomposable Type Highlighting for Bidirectional Type and Cast Systems within the HATRA 2025-track

ICFP

  • Author of Functional Networking for Millions of Docker Desktops (Experience Report) within the ICFP Papers-track

TyDe

  • Author of Generating a corpus of Hazel programs from ill-typed OCaml programs (Extended Abstract) within the TyDe 2025-track

PROPL

  • Author of Yirgacheffe: a declarative approach to geospatial data within the PROPL-track
  • Author of What we talk about when we talk about scientific programming within the PROPL-track

2024

HOPE

  • Author of Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads within the HOPE 2024-track

PROPL

  • Author of Discussion on multidisciplinary PROPL-work within the PROPL-track

2023

OCaml

  • Author of Eio 1.0 – Effects-based IO for OCaml 5 within the OCaml 2023-track

2021

OCaml

  • Author of Experiences with Effects within the OCaml 2021-track
Share
xThu 25 Sep 22:19
using conf.researchr.org (v1.71.1)
Support page
Sign Up