|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 15 keywords
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
119 | Dale Vaillancourt, Rex L. Page, Matthias Felleisen |
ACL2 in DrScheme. |
ACL2 |
2006 |
DBLP DOI BibTeX RDF |
DrScheme, TeachScheme!, formal methods, pedagogy, ACL2 |
83 | Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen |
DrScheme: A Pedagogic Programming Environment for Scheme. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
Algebraic Evaluation, Teaching programming to beginning students, Programming, Programming Environments, Pedagogy, Scheme, Static Debugging |
66 | Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen |
Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Robert Bruce Findler, Matthias Felleisen |
Contracts for higher-order functions. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
predicate typing, solfware reliability, contracts, behavioral specifications, higher-order functions |
39 | Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen |
DrScheme: a programming environment for Scheme. |
J. Funct. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi |
The DrScheme Project: An Overview. |
ACM SIGPLAN Notices |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Gregory H. Cooper, Shriram Krishnamurthi |
Embedding Dynamic Dataflow in a Call-by-Value Language. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Viera K. Proulx, Kathryn E. Gray |
Design of class hierarchies: an introduction to OO program design. |
SIGCSE |
2006 |
DBLP DOI BibTeX RDF |
programming languages and environments, design, pedagogy, programming education, CS1/2, program design, systematic programming |
22 | Robert Bruce Findler, Matthew Flatt |
Slideshow: functional presentations. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Matthias Felleisen |
From POPL to the classroom and back. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
22 | John Clements, Matthew Flatt, Matthias Felleisen |
Modeling an Algebraic Stepper. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Laurie A. Smith King, John Barr, Ben Coleman |
What could be more SLic?: projects for the programming languages course. |
SIGCSE |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Shriram Krishnamurthi, Matthias Felleisen, Bruce F. Duba |
From Macros to Reusable Generative Programming. |
GCSE |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|