2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
Celia Mengyue Li, Sophie Pull, Steven Ramsay
We introduce a new two-sided type system for verifying the correctness and incorrectness of functional programs with atoms and pattern matching. A key idea in the work is that type…