Cameron Swords

Indiana University — United States

Computer Science · Physical Sciences

4h-index156citations7works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(7), Software Engineering Research(5), Parallel Computing and Optimization Techniques(3), Multi-Agent Systems and Negotiation(2), Logic, Reasoning, and Knowledge(2)

Publications7 total

An extended account of contract monitoring strategies as patterns of communication
Journal of Functional Programming·2018· 4 citedOpen Access
Big types in little runtime: open-world soundness and collaborative blame for gradual type systems
ACM SIGPLAN Notices·2017· 6 cited
Big types in little runtime: open-world soundness and collaborative blame for gradual type systems
2016· 42 citedOpen Access
Expressing contract monitors as patterns of communication
ACM SIGPLAN Notices·2015
Expressing contract monitors as patterns of communication
2015· 4 cited
Extensible effects
ACM SIGPLAN Notices·2013· 18 citedOpen Access
Extensible effects
2013· 82 cited

Frequent Co-authors

Amr Sabry(5), Sam Tobin-Hochstadt(3), Oleg Kiselyov(2), Michael M. Vitousek(2), Jeremy G. Siek(2)