Garrin Kimmell
发表
Perry Alexander,
Nicolas Frisby,
Philip Weaver,
2007,
ASE '07.
Perry Alexander,
Nicolas Frisby,
Philip Weaver,
2007,
GPCE '07.
Stephanie Weirich,
Tim Sheard,
Peng Fu,
2012,
PLPV '12.
Aaron Stump,
Garrin Kimmell,
Roba El Haj Omar,
2011,
RTA.
William L. Harrison,
Adam M. Procter,
Gerard Allwein,
2009,
DSL.
Perry Alexander,
Garrin Kimmell,
Ed Komp,
2006
.
Perry Alexander,
Nicolas Frisby,
Garrin Kimmell,
2008
.
Perry Alexander,
Nicolas Frisby,
Philip Weaver,
2010,
Sci. Comput. Program..
Tristan Bull,
Garrin Kimmell,
Ed Komp,
2012,
High. Order Symb. Comput..
Stephanie Weirich,
Tim Sheard,
Peng Fu,
2012,
MSFP.
Garrin Kimmell,
Garrin Kimmell,
2004
.
Tristan Bull,
Garrin Kimmell,
Ed Komp,
2010,
Trends in Functional Programming.
Aaron Stump,
Garrin Kimmell,
Harley D. Eades,
2013
.
Perry Alexander,
Nicolas Frisby,
Mark Snyder,
2009,
SC@TOOLS.
Perry Alexander,
Garrin Kimmell,
Justin Ward,
2005,
ASE '05.
Perry Alexander,
Garrin Kimmell,
Cindy Kong,
2006
.
Hans Zantema,
Aaron Stump,
Garrin Kimmell,
2012,
Log. Methods Comput. Sci..
John Thompson,
Temesghen Kahsai,
Ashay Rane,
2020,
2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA).
Joseph B. Evans,
Perry Alexander,
Gary J. Minden,
2008,
FDL 2008.
Erik Perrins,
Tristan Bull,
Garrin Kimmell,
2009,
IFL.
Perry Alexander,
Garrin Kimmell,
Ed Komp,
2005,
12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).
Joseph B. Evans,
Perry Alexander,
Gary J. Minden,
2008,
2008 Forum on Specification, Verification and Design Languages.
Garrin Kimmell,
Andy Gill,
Andrew Farmer,
2010,
Trends in Functional Programming.
Garrin Kimmell,
Garrin Kimmell,
2008
.