Steven Ramsay

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Steven Ramsay, Charlie Walpole
Ill-Typed Programs Don't Evaluate. Proc. ACM Program. Lang. 8 (POPL) (2024)
Steven Ramsay, Charlie Walpole
Ill-Typed Programs Don't Evaluate. CoRR (2023)
Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay
Effect Handlers for Programmable Inference. Haskell (2023)
Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay
Effects and Effect Handlers for Programmable Inference. CoRR (2023)