Cameron SwordsPL Ph.D. Student at Indiana University

Current Projects

Effectful and General Contracts
with Amr Sabry and Sam Tobin-Hochstadt.
I am working with Amr Sabry to explore the interactions of
software contracts with stateful and effectful computations. We
are working toward unifying these behaviors and producing a
cleaner, more expansive contract system in the process.