Skip to main content

Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741

Greg Michaelson

PDF DOI 10.1017/s0956796807006296 dblp BibTeX

Abstract

Programming" framework, Yampa.If you like little languages, you'll appreciate how useful Haskell is for embedded domain specific languages.It may be even more useful now that Template Haskell is in the works.

Related papers

Verification of Reactive Systems by Klaus Schneider Springer Verlag, 2003, 600pp, ISBN 3-540-00296-0 JFP 2007
"Practical Aspects of Declarative Languages" by Shriram Krishnamurthi and C. R. Ramakrishnan (eds.), LNCS 2257, Springer-Verlag, 2002. ISBN 3-540-43092-X JFP 2004
Reasoning About Program Transformations: Imperative Programming and Flow of Data by Jean-Francois Collard, Springer-Verlag, 2003 JFP 2004
Drawing Programs: The Theory and Practice of Schematic Functional Programming, by Tom Addis and Jan Addis Springer, 2010, ISBN 978-1-84882-617-5, 379pp JFP 2012
Review of "Algorithms for Functional Programming" by John David Stone, Springer-Verlag, 2018 JFP 2020
Contextual equivalence for inductive definitions with binders in higher order typed functional programming JFP 2013
A type system with usage aspects JFP 2008
Programming Methodology A. McIver and C. Morgan, editors, Springer-Verlag, 2002 JFP 2004