Research output per year
Research output per year
Personal profile
Research interests
I research mathematical theories for reasoning about computation, and put them to use in programming tools. See my homepage for more details.
Fingerprint
Dive into the research topics where Steven Ramsay is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
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 -
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 (ACM), 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 Access1 Citation (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 AccessFile59 Downloads (Pure)
Projects
- 3 Finished
-
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
-
Higher-Order Program Invariants
Ramsay, S. (Principal Investigator)
1/10/19 → 31/03/23
Project: Research