- Record: found
- Abstract: not found
- Book Chapter: not found
TAPSOFT '95: Theory and Practice of Software Development
Calculating software generators from solution specifications
other
Richard B. Kieburtz ,
Francoise Bellegarde ,
Jef Bell ,
James Hook ,
Jeffrey Lewis ,
Dino Oliva ,
Tim Sheard ,
Lisa Walton ,
Tong Zhou
June 1 2005
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references14
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Definitional interpreters for higher-order programming languages
John Reynolds (1972)
- Record: found
- Abstract: not found
- Book Chapter: not found
Functional programming with bananas, lenses, envelopes and barbed wire
- Record: found
- Abstract: not found
- Book Chapter: not found
Lambda lifting: Transforming programs to recursive equations
Thomas Johnsson (1985)