Steven Ramsay -

Registered user since Thu 30 Jun 2016

Name:Steven Ramsay

Country:United Kingdom

Affiliation:University of Bristol

Personal website: https://sjrsay.github.io

GitHub: https://github.com/sjrsay

Contributions

2025

TyDe

Committee Member in Program Committee within the TyDe 2025-track

2024

POPL

Formal Methods for Incorrectness

Author of Ill-Typed Programs Don't Evaluate within the Incorrectness-track

2023

Haskell

Author of Effect Handlers for Programmable Inference within the Haskell 2023-track

POPL

Author of Higher-Order MSL Horn Constraints within the POPL-track

2022

PLDI

2021

POPL

Author of Intensional Datatype Refinement within the POPL-track

2018

POPL

2017

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track