Sciweavers

4895 search results - page 54 / 979
» Functional Quantum Programming
Sort
View
FPCA
1991
14 years 11 days ago
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
We develop a calculus for lazy functional programming based on recursion operators associated with data type de nitions. For these operators we derive various algebraic laws that ...
Erik Meijer, Maarten M. Fokkinga, Ross Paterson
ICFP
1999
ACM
14 years 1 months ago
Specialization of Inductively Sequential Functional Logic Programs
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
María Alpuente, Michael Hanus, Salvador Luc...
APCCM
2007
13 years 10 months ago
Merging Dynamic Functionality: Integration of XML Transformations
Integration of XML data is an increasingly important problem and many methods have recently been developed. In this talk, we examine the related and more challenging task of how t...
James Bailey, Ce Dong

Book
630views
15 years 7 months ago
Introduction to Functional Programming
"These are the lecture notes accompanying the course Introduction to Functional Programming, which I taught at Cambridge University in the academic year 1996/1997."
John Harrison
ECLIPSE
2006
ACM
14 years 2 months ago
Next-generation DPP with Sangam and Facetop
This paper describes a state-of-the-art environment for distributed Extreme Programming that results from combining the Sangam editor, developed at NCSU and the Facetop user inter...
Kanyamas Navoraphan, Edward F. Gehringer, James Cu...