Sciweavers

8 search results - page 2 / 2
» DrScheme: A Pedagogic Programming Environment for Scheme
Sort
View
104
Voted
ESOP
2006
Springer
15 years 1 months ago
Embedding Dynamic Dataflow in a Call-by-Value Language
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
Gregory H. Cooper, Shriram Krishnamurthi
93
Voted
ESOP
2001
Springer
15 years 2 months ago
Modeling an Algebraic Stepper
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
John Clements, Matthew Flatt, Matthias Felleisen
125
Voted
SIGCSE
2012
ACM
513views Education» more  SIGCSE 2012»
13 years 5 months ago
Calico: a multi-programming-language, multi-context framework designed for computer science education
The Calico project is a multi-language, multi-context programming framework and learning environment for computing education. This environment is designed to support several inter...
Douglas S. Blank, Jennifer S. Kay, James B. Marsha...