Ramsay, Steven
- Ill-Typed Programs Don't Evaluate
2023/07/13 by Steven Ramsay, Ramsay, Steven, Charlie Walpole +1 · 2 voices · 1 citation
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Software Engineering Research #cs.PL
- Higher-Order MSL Horn Constraints
2022/10/26 by Jochems, Jerome, Jones, Eddie, Ramsay, Steven · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)