Charlie Walpole
- 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