- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j2 |      | Aaron Stump, Hans Zantema, Garrin Kimmell, Roba El Haj Omar: A Rewriting View of Simple Typing. Logical Methods in Computer Science 9(1) (2012) |
| c12 | | Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn: Equational reasoning about programs with general recursion and call-by-value semantics. PLPV 2012: 15-26 |
| c11 | | Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich: Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems. MSFP 2012: 112-162 |
| 2011 | ||
| c10 | | Aaron Stump, Garrin Kimmell, Roba El Haj Omar: Type Preservation as a Confluence Problem. RTA 2011: 345-360 |
| 2010 | ||
| j1 | | Nicolas Frisby, Garrin Kimmell, Philip Weaver, Perry Alexander: Constructing language processors with algebra combinators. Sci. Comput. Program. 75(7): 543-572 (2010) |
| c9 | | Andrew Farmer, Garrin Kimmell, Andy Gill: What's the Matter with Kansas Lava? Trends in Functional Programming 2010: 102-117 |
| c8 | | Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp: Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava. Trends in Functional Programming 2010: 118-133 |
| 2009 | ||
| c7 | | William L. Harrison, Adam M. Procter, Jason Agron, Garrin Kimmell, Gerard Allwein: Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software. DSL 2009: 20-44 |
| c6 | | Mark Snyder, Nicolas Frisby, Garrin Kimmell, Perry Alexander: Writing Composable Software with InterpreterLib. Software Composition 2009: 160-176 |
| 2008 | ||
| c5 | | Garrin Kimmell, Ed Komp, Gary J. Minden, Joseph B. Evans, Perry Alexander: Synthesizing Software Defined Radio Components from Rosetta (invited). FDL 2008: 148-153 |
| 2007 | ||
| c4 | | Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander: Constructing language processors with algebra combinators. GPCE 2007: 155-164 |
| c3 | | Philip Weaver, Garrin Kimmell, Nicolas Frisby, Perry Alexander: Modular and generic programming with interpreterlib. ASE 2007: 473-476 |
| 2005 | ||
| c2 | | Garrin Kimmell, Ed Komp, Perry Alexander: Building Compilers by Combining Algebras. ECBS 2005: 331-338 |
| c1 | | Justin Ward, Garrin Kimmell, Perry Alexander: Prufrock: a framework for constructing polytypic theorem provers. ASE 2005: 423-426 |
Data released under the ODC-BY 1.0 license — See also our legal information page