Cameron Swords - Concepedia

Author

Cameron Swords

Also Known As

CAMERON SWORDS, Cameron Swords

Publications

156

Citations

H-Index

Concepts

All Affiliations

Cameron Swords is an author at Indiana University Bloomington specializing in computer science, automated reasoning, and formal methods.

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	142
2	Computer Science	3	3	142
3	Communication	1	1	42
4	Computer Engineering	1	1	82
5	Linguistics	1	1	42

Cameron Swords

Publications

142

Citations

H-Index

Page 1

	Year	Citations
Extensible effects Oleg Kiselyov, Amr Sabry, Cameron Swords Programming Language TheoryEngineeringEffect HandlerProgram AnalysisAutomated Reasoning	2013	82
Big types in little runtime: open-world soundness and collaborative blame for gradual type systems Michael M. Vitousek, Cameron Swords, Jeremy G. Siek EngineeringType TheoryVerificationSoftware EngineeringCommunication	2016	42
Extensible effects Oleg Kiselyov, Amr Sabry, Cameron Swords ACM SIGPLAN Notices Programming Language TheoryEngineeringEffect HandlerAutomated ReasoningProgram Analysis	2013	18

Page 1