Karl Crary
Affiliations: | Carnegie Mellon University, Pittsburgh, PA |
Area:
Computer ScienceGoogle:
"Karl Crary"
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Crary K. (2009) A syntactic account of singleton types via hereditary substitution Acm International Conference Proceeding Series. 21-29 |
| Crary K. (2009) Explicit Contexts in LF (Extended Abstract) Electronic Notes in Theoretical Computer Science. 228: 53-68 |
| Crary K, Sarkar S. (2008) Foundational certified code in the Twelf metalogical framework Acm Transactions On Computational Logic. 9 |
| Murphy VII T, Crary K, Harper R. (2008) Type-safe distributed programming with ML5 Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4912: 108-123 |
| Lee DK, Crary K, Harper R. (2007) Towards a mechanized metatheory of standard ML Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 173-184 |
| Crary K, Harper R. (2007) Syntactic Logical Relations for Polymorphic and Recursive Types Electronic Notes in Theoretical Computer Science. 172: 259-299 |
| Swasey D, Murphy VII T, Crary K, et al. (2006) A separate compilation extension to Standard ML Proceedings of the Acm Sigplan 2006 Workshop On Ml. 2006: 32-42 |
| Crary K, Kliger A, Pfenning F. (2005) A monadic analysis of information flow security with mutable state Journal of Functional Programming. 15: 249-291 |
| Murphy VII T, Crary K, Harper R. (2005) Distributed control flow with classical modal logic Lecture Notes in Computer Science. 3634: 51-69 |
| Sarkar S, Pientka B, Crary K. (2005) Small proof witnesses for LF Lecture Notes in Computer Science. 3668: 387-401 |