dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

John Clements Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCasey 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Haungs, Christopher Clark, John Clements, David S. Janzen: Improving first-year success and retention through interest-based CS0 courses. SIGCSE 2012: 589-594
2011
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Dvornik, David S. Janzen, John Clements, Olga Dekhtyar: Supporting introductory test-driven labs with WebIDE. CSEE&T 2011: 51-60
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen Chang, John Clements, Eli Barzilay, Matthias Felleisen: Stepping Lazy Programs CoRR abs/1108.4706: (2011)
2010
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Clements, David S. Janzen: Overcoming Obstacles to Test-Driven Learning on Day One. ICST Workshops 2010: 448-453
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Clements, Kathi Fisler: "Little language" project modules. J. Funct. Program. 20(1): 3-18 (2010)
2009
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChetan Desai, David S. Janzen, John Clements: Implications of integrating test-driven development into CS1/CS2 curricula. SIGCSE 2009: 148-152
2005
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGreg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen: Continuations from generalized stack inspection. ICFP 2005: 216-227
2004
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Clements, Matthias Felleisen: A tail-recursive machine with stack inspection. ACM Trans. Program. Lang. Syst. 26(6): 1029-1052 (2004)
2003
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Clements, Matthias Felleisen: A Tail-Recursive Semantics for Stack Inspections. ESOP 2003: 22-37
2002
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Clements, Matthew Flatt, Matthias Felleisen: Modeling an Algebraic Stepper. ESOP 2001: 320-334
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlgis Rudys, John Clements, Dan S. Wallach: Termination in Language-based Systems. NDSS 2001

Coauthor Index

1Eli Barzilay [10]
2Stephen Chang [10]
3Christopher Clark [12]
4Olga Dekhtyar [11]
5Chetan Desai [7]
6Christos Dimoulas [13]
7Thomas Dvornik [11]
8Carl Eastlund [13]
9Matthias Felleisen [2] [3] [4] [5] [6] [10] [13]
10Robert Bruce Findler [3] [13]
11Kathi Fisler [8]
12Cormac Flanagan [3]
13Matthew Flatt [2] [3] [13]
14Michael Haungs [12]
15David S. Janzen [7] [9] [11] [12]
16Casey Klein [13]
17Shriram Krishnamurthi [3] [6]
18Joe Marshall [6]
19Jay A. McCarthy [13]
20Greg Pettyjohn [6]
21Jon Rafkind [13]
22Algis Rudys [1]
23Paul Steckler [3]
24Sam Tobin-Hochstadt [13]
25Dan S. Wallach [1]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page