Garrin Kimmell, Ph.D.
Affiliations: | 2008 | Electrical Engineering & Computer Science | University of Kansas, Lawrence, KS, United States |
Area:
Computer ScienceGoogle:
"Garrin Kimmell"Parents
Sign in to add mentorW. Perry Alexander | grad student | 2008 | University of Kansas | |
(System synthesis from a monadic functional language.) |
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. |
Kimmell G, Stump A, Eades HD, et al. (2013) Equational reasoning about programs with general recursion and call-by-value semantics Progress in Informatics. 19-46 |
Sjöberg V, Casinghino C, Ahn KY, et al. (2012) Irrelevance, heterogeneous equality, and call-by-value dependent type systems Electronic Proceedings in Theoretical Computer Science, Eptcs. 76: 112-162 |
Farmer A, Kimmell G, Gill A. (2011) What's the matter with Kansas Lava? Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6546: 102-117 |
Frisby N, Kimmell G, Weaver P, et al. (2010) Constructing language processors with algebra combinators Science of Computer Programming. 75: 543-572 |
Gill A, Bull T, Kimmell G, et al. (2010) Introducing Kansas Lava Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6041: 18-35 |
Harrison WL, Procter AM, Agron J, et al. (2009) Model-driven engineering from modular monadic semantics: Implementation techniques targeting hardware and software Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5658: 20-44 |
Snyder M, Frisby N, Kimmell G, et al. (2009) Writing composable software with interpreter lib Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5634: 160-176 |
Weaver P, Kimmell G, Frisby N, et al. (2007) Modular and generic programming with InterpreterLib Ase'07 - 2007 Acm/Ieee International Conference On Automated Software Engineering. 473-476 |
Ward J, Kimmell G, Alexander P. (2005) Prufrock: A framework for constructing polytypic theorem provers 20th Ieee/Acm International Conference On Automated Software Engineering, Ase 2005. 423-426 |
Kimmell G, Komp E, Alexander P. (2005) Building compilers by combining algebras Proceedings - 12th Ieee International Conference and Workshops On the Engineering of Computer-Based Systems, Ecs 2005. 331-338 |