|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 66 | Matthias Felleisen |
From POPL to the classroom and back.  |
POPL  |
2002 |
DBLP DOI BibTeX RDF |
|
| 39 | Viera K. Proulx, Stephen Bloch |
Program by design: TeachScheme/ReachJava (abstract only). |
SIGCSE |
2012 |
DBLP DOI BibTeX RDF |
|
| 39 | Matthias Felleisen |
TeachScheme! |
SIGCSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 39 | Matthias Felleisen |
TeachScheme!: a checkpoint. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
| 39 | Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi |
The TeachScheme! Project: Computing and Programming for Every Student. |
Comput. Sci. Educ. |
2004 |
DBLP DOI BibTeX RDF |
|
| 36 | Dale Vaillancourt, Rex L. Page, Matthias Felleisen |
ACL2 in DrScheme. |
ACL2 |
2006 |
DBLP DOI BibTeX RDF |
DrScheme, TeachScheme!, formal methods, pedagogy, ACL2 |
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license