Steven Ramsay - University of Bristol

View Scopus Profile

Emailsteven.ramsaybristol.acuk

BS8 1UB

Research interests

I research mathematical theories for reasoning about computation, and put them to use in programming tools. See my homepage for more details.

Research Groups and Themes

Programming Languages

10 Conference Contribution (Conference Proceeding)
5 Article (Academic Journal)

Ill-Typed Programs Don't Evaluate
Ramsay, S. & Walpole, C., 5 Jan 2024, In: Proceedings of the ACM on Programming Languages. 8, POPL, p. 2010–2040 31 p., 67.
Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access
4 Citations (Scopus)
Effect Handlers for Programmable Inference
Nguyen, M. H., Perera, R. N. T., Wang, M. & Ramsay, S., 31 Aug 2023, Haskell 2023: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium. McDonell, T. L. & Vazou, N. (eds.). Association for Computing Machinery, p. 44–58 15 p. (Proceedings of the ACM SIGPLAN ... Haskell Symposium).
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

Open Access
2 Citations (Scopus)
Higher-Order MSL Horn Constraints
Jochems, J. C., Jones, E. C. & Ramsay, S., 11 Jan 2023, In: Proceedings of the ACM on Programming Languages. 7, POPL, p. 2017–2047 31 p., 69.
Research output: Contribution to journal › Article (Academic Journal) › peer-review

Open Access
File
1 Citation (Scopus)

214 Downloads (Pure)

1 Active
3 Finished

Types for Incorrectness
Ramsay, S. (Principal Investigator)
1/03/26 → 28/02/29
Project: Research
Scalable Static Taint Analysis for Erlang
Ramsay, S. (Principal Investigator) & Jones, E. (Researcher)
1/04/23 → 1/10/23
Project: Research
8030 EPSRC EP/T006595/1 Higher-order Constrained Horn Clauses
Ramsay, S. (Principal Investigator)
1/03/20 → 28/02/23
Project: Research