Carl Eastlund

发表

Carl Eastlund, 2009, ACL2 '09.

Matthias Felleisen, Carl Eastlund, Carl Eastlund, 2012 .

Matthias Felleisen, Carl Eastlund, Daniel P. Friedman, 2011 .

Carl Eastlund, Daniel P. Friedman, 2015 .

Matthias Felleisen, Carl Eastlund, Daniel P. Friedman, 2015 .

Matthias Felleisen, Carl Eastlund, Daniel P. Friedman, 2015 .

Matthias Felleisen, Carl Eastlund, 2010, Trends in Functional Programming.

Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, 2012, POPL '12.

Matthias Felleisen, Carl Eastlund, Rex L. Page, 2008, FDPE '08.

Matthias Felleisen, Carl Eastlund, 2009, PADL.

Matthias Felleisen, Carl Eastlund, Carl Eastlund, 2009, ACL2 '09.

Matthias Felleisen, Carl Eastlund, Daniel P. Friedman, 2015 .

Matthias Felleisen, Carl Eastlund, Daniel P. Friedman, 2015 .

Matthias Felleisen, Carl Eastlund, Daniel P. Friedman, 2015 .

Matthias Felleisen, Carl Eastlund, Daniel P. Friedman, 2015 .

Matthias Felleisen, Carl Eastlund, Daniel P. Friedman, 2015 .

Matthias Felleisen, Carl Eastlund, Carl Eastlund, 2009, PPDP '09.

Matthias Felleisen, Carl Eastlund, Carl Eastlund, 2006 .