 | 2012 |
| 13 |  | Casey Klein,
John Clements,
Christos Dimoulas,
Carl Eastlund,
Matthias Felleisen,
Matthew Flatt,
Jay A. McCarthy,
Jon Rafkind,
Sam Tobin-Hochstadt,
Robert Bruce Findler:
Run your research: on the effectiveness of lightweight mechanization.
POPL 2012: 285-296 |
| 12 |  | Michael Haungs,
Christopher Clark,
John Clements,
David S. Janzen:
Improving first-year success and retention through interest-based CS0 courses.
SIGCSE 2012: 589-594 |
| 2011 |
| 11 |  | Thomas Dvornik,
David S. Janzen,
John Clements,
Olga Dekhtyar:
Supporting introductory test-driven labs with WebIDE.
CSEE&T 2011: 51-60 |
| 10 |  | Stephen Chang,
John Clements,
Eli Barzilay,
Matthias Felleisen:
Stepping Lazy Programs
CoRR abs/1108.4706: (2011) |
| 2010 |
| 9 |  | John Clements,
David S. Janzen:
Overcoming Obstacles to Test-Driven Learning on Day One.
ICST Workshops 2010: 448-453 |
| 8 |  | John Clements,
Kathi Fisler:
"Little language" project modules.
J. Funct. Program. 20(1): 3-18 (2010) |
| 2009 |
| 7 |  | Chetan Desai,
David S. Janzen,
John Clements:
Implications of integrating test-driven development into CS1/CS2 curricula.
SIGCSE 2009: 148-152 |
| 2005 |
| 6 |  | Greg Pettyjohn,
John Clements,
Joe Marshall,
Shriram Krishnamurthi,
Matthias Felleisen:
Continuations from generalized stack inspection.
ICFP 2005: 216-227 |
| 2004 |
| 5 |  | John Clements,
Matthias Felleisen:
A tail-recursive machine with stack inspection.
ACM Trans. Program. Lang. Syst. 26(6): 1029-1052 (2004) |
| 2003 |
| 4 |  | John Clements,
Matthias Felleisen:
A Tail-Recursive Semantics for Stack Inspections.
ESOP 2003: 22-37 |
| 2002 |
| 3 |  | Robert Bruce Findler,
John Clements,
Cormac Flanagan,
Matthew Flatt,
Shriram Krishnamurthi,
Paul Steckler,
Matthias Felleisen:
DrScheme: a programming environment for Scheme.
J. Funct. Program. 12(2): 159-182 (2002) |
| 2001 |
| 2 |  | John Clements,
Matthew Flatt,
Matthias Felleisen:
Modeling an Algebraic Stepper.
ESOP 2001: 320-334 |
| 1 |  | Algis Rudys,
John Clements,
Dan S. Wallach:
Termination in Language-based Systems.
NDSS 2001 |