The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for DrScheme with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1997-2006 (13)
Publication types (Num. hits)
article(2) inproceedings(11)
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
119Dale Vaillancourt, Rex L. Page, Matthias Felleisen ACL2 in DrScheme. Search on Bibsonomy ACL2 The full citation details ... 2006 DBLP  DOI  BibTeX  RDF DrScheme, TeachScheme!, formal methods, pedagogy, ACL2
83Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen DrScheme: A Pedagogic Programming Environment for Scheme. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Algebraic Evaluation, Teaching programming to beginning students, Programming, Programming Environments, Pedagogy, Scheme, Static Debugging
66Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
44Robert Bruce Findler, Matthias Felleisen Contracts for higher-order functions. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF predicate typing, solfware reliability, contracts, behavioral specifications, higher-order functions
39Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen DrScheme: a programming environment for Scheme. Search on Bibsonomy J. Funct. Program. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
39Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi The DrScheme Project: An Overview. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
22Gregory H. Cooper, Shriram Krishnamurthi Embedding Dynamic Dataflow in a Call-by-Value Language. Search on Bibsonomy ESOP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Viera K. Proulx, Kathryn E. Gray Design of class hierarchies: an introduction to OO program design. Search on Bibsonomy SIGCSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF programming languages and environments, design, pedagogy, programming education, CS1/2, program design, systematic programming
22Robert Bruce Findler, Matthew Flatt Slideshow: functional presentations. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Matthias Felleisen From POPL to the classroom and back. Search on Bibsonomy POPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
22John Clements, Matthew Flatt, Matthias Felleisen Modeling an Algebraic Stepper. Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
22Laurie A. Smith King, John Barr, Ben Coleman What could be more SLic?: projects for the programming languages course. Search on Bibsonomy SIGCSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
22Shriram Krishnamurthi, Matthias Felleisen, Bruce F. Duba From Macros to Reusable Generative Programming. Search on Bibsonomy GCSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license