Search results for "DrScheme"

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