e99 Online Shopping Mall

Geometry.Net - the online learning center Help  
Home  - Basic F - Functional Languages Programming (Books)

  1-20 of 101 | Next 20
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

click price to see details     click image to enlarge     click link to go to the store

$92.79
1. The Optimal Implementation of
 
$428.74
2. The Implementation of Functional
$62.58
3. Functional Programming Languages
$90.12
4. Functional Programming Languages
 
5. Functional Programming: Languages,
 
6. Implementation of Non-Strict Functional
$38.75
7. Functional Programming Languages
$36.10
8. Functional Programming Languages
$21.53
9. Combinators and Functional Programming
 
10. Combinators and functional programming
$71.93
11. Functional Architecture: An Approach
 
$64.75
12. Implicit Shared Memory Multiprocessor
 
13. Functional Programming Languages
 
14. Functional programming languages
 
15. Proceedings of the 1981 Conference
 
16. Fpca '93, Conference on Functional
$68.28
17. Dylan (programming language):
$14.13
18. Functional Logic Programming Languages:
 
19. Fpca '89: The Fourth International
20. A Framework for Programming Interactive

1. The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science)
by Andrea Asperti, Stefano Guerrini
Hardcover: 408 Pages (1999-01-28)
list price: US$115.99 -- used & new: US$92.79
(price subject to change: see help)
Asin: 0521621127
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
All traditional implementation techniques for functional languages fail to avoid useless repetition of work. They are not "optimal" in their implementation of sharing, often causing a catastrophic, exponential explosion in reduction time. Optimal reduction is an innovative graph reduction technique for functional expressions, introduced by Lamping in 1990, that solves the sharing problem. This work, the first on the subject, is a comprehensive account by two of its leading exponents. Practical implementation aspects are fully covered as are the mathematical underpinnings of the subject. The relationship to the pioneering work of Lévy and to Girard's more recent "Geometry of Interaction" are explored; optimal reduction is thereby revealed as a prime example of how a beautiful mathematical theory can lead to practical benefit. The book is essentially self-contained, requiring no more than basic familiarity with functional languages. It will be welcomed by graduate students and research workers in lambda calculus, functional programming or linear logic. ... Read more


2. The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)
by Simon L. Peyton Jones
 Hardcover: 500 Pages (1987-05)
list price: US$61.00 -- used & new: US$428.74
(price subject to change: see help)
Asin: 013453333X
Canada | United Kingdom | Germany | France | Japan

3. Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985 (Lecture Notes in Computer Science) (v. 201)
Paperback: 424 Pages (1986-08-27)
list price: US$69.95 -- used & new: US$62.58
(price subject to change: see help)
Asin: 3540159754
Canada | United Kingdom | Germany | France | Japan

4. Functional Programming Languages and Computer Architecture: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings (Lecture Notes in Computer Science)
Paperback: 666 Pages (1991-09-12)
list price: US$102.00 -- used & new: US$90.12
(price subject to change: see help)
Asin: 3540543961
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
This book offers a comprehensive view of the best and thelatest work infunctional programming. It is the proceedingsof a major internationalconference and contains 30 papersselected from 126 submitted. A number ofthemes emerge. Oneis a growing interest in types: powerful type systemsortype checkers supporting overloading, coercion, dynamictypes, and incremental inference; linear types to optimizestorage, and polymorphictypes to optimize semanticanalysis. The hot topic of partial evaluation is wellrepresented: techniques for higher-order binding-timeanalysis,assuring termination of partial evaluation, andimproving the residualprograms a partial evaluatorgenerates. The thorny problem of manipulatingstate infunctional languages is addressed: one paper even arguesthatparallel programs with side-effects can be "moredeclarative" than purely functional ones. Theoretical workcovers a new model of types based onprojections,parametricity, a connection between strictness analysisandlogic, and a discussion of efficient implementations of thelambda-calculus. The connection with computer architectureand avariety of other topics are also addressed. ... Read more


5. Functional Programming: Languages, Tools and Architectures (Ellis Horwood Series in Computers and Their Applications)
by Susan Eisenbach
 Hardcover: 174 Pages (1987-04-30)

Isbn: 0853129738
Canada | United Kingdom | Germany | France | Japan

6. Implementation of Non-Strict Functional Programming Languages (Research Monographs in Parallel and Distributed Computing)
by Kenneth R. Traub
 Paperback: 185 Pages (1991-03-07)
list price: US$27.95
Isbn: 0262700425
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
Modern "non-strict" functional programming languages are a powerfulmeans of programming highly parallel computers but are intrinsicallydifficult to compile well because decisions about the ordering ofsubcomputations must be made at the time of compiling. This bookrepresents a new technique for compiling such languages by partitioninga program into sequential threads. While the interleaving of threads canvary at run time, within each thread the order is fixed.

A program is compiled by analyzing its data dependences and developingfrom that a set of partitioning constraints. These practical algorithmsare founded on a new theory of data dependence and ordering withinfunctional programs, which defines dependence graphs in terms of arewrite-rule operational semantics for the language.

By attacking the ordering problem directly, the book departs fromprevious approaches that obtain partitioning as a by-product ofoptimizing lazy evaluation and cleanly separates partitioning from othercode-generation issues. Furthermore, the method is flexible enough toproduce both lazy code and a less-restrictive "lenient" variant thatallows larger threads with only a slight decrease in expressive power.Code generation and optimization are explored in depth for bothuniprocessor and multiprocessor targets. ... Read more


7. Functional Programming Languages in Education: 1st International Symposium FPLE '95 Nijmegen, The Netherlands, December 4-6, 1995. Proceedings (Lecture Notes in Computer Science)
Paperback: 309 Pages (1995-12-06)
list price: US$69.95 -- used & new: US$38.75
(price subject to change: see help)
Asin: 3540606750
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
This book constitutes the refereed proceedings of the First International Symposium on Functional Programming Languages in Education, FPLE '95, held in Nijmegen, The Netherlands in December 1995. The 17 revised full papers included represent the current state-of-the-art in using functional languages in computer science education. Most papers report teaching experience in some detail, however, the emphasis is generally on technical issues. Functional languages are increasingly used for teaching in a number of important areas such as algorithms, data structures, compiler construction, computer architecture, computer graphics, mathematics, problem solving and the semantics of programming languages. ... Read more


8. Functional Programming Languages and Computer Architecture: Portland, Oregon, USA, September 14-16, 1987. Proceedings (Lecture Notes in Computer Science)
Paperback: 470 Pages (1987-10-05)
list price: US$49.95 -- used & new: US$36.10
(price subject to change: see help)
Asin: 3540183175
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
This volume contains the proceedings of the Third Conference on Functional Programming Languages and Computer Architecture held in Portland, Oregon, September 14-16, 1987. This conference was a successor to two highly successful conferences on the same topics held at Wentworth, New Hampshire, in October 1981 and in Nancy, in September 1985. Papers were solicited on all aspects of functional languages and particularly implementation techniques for functional programming languages and computer architectures to support the efficient execution of functional programs. The contributions collected in this volume show that many issues regarding the implementation of Functional Programming Languages are now far better understood. ... Read more


9. Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings (Lecture Notes in Computer Science) (English and French Edition)
Paperback: 208 Pages (1986-12-01)
list price: US$22.00 -- used & new: US$21.53
(price subject to change: see help)
Asin: 3540171843
Canada | United Kingdom | Germany | France | Japan

10. Combinators and functional programming languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings (Lecture notes in computer science)
 Paperback: 208 Pages (1986)

Isbn: 0387171843
Canada | United Kingdom | Germany | France | Japan

11. Functional Architecture: An Approach for Effective Execution of Functional Programming Languages
by Hong Shen
Paperback: 160 Pages (2010-06-04)
list price: US$72.00 -- used & new: US$71.93
(price subject to change: see help)
Asin: 3639200012
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
Functional programming languages have been proposedto enhance the clarity of programs, to increaseprogrammer productivity, and to reduce thedifficulties of program verification. However, thelack of efficient implementation on conventionalarchitectures prevents them from being widelyaccepted. This book presents an approach for solvingthis problem. A pipelined parallel reduction systemhas been developed on a multiprocessor system torealize hierarchical parallel processing. Thecorrectness, reasonability and termination of theparallel execution can be guaranteed by enrichingthe lambda calculus lying behind functionallanguages. The scheduling strategies are alsoinvestigated for balancing processor loads andreducing processor idle ratio. The results ofperformance evaluation have exhibited the potentialof the proposed functional architecture. The authorbelieves this book would be a useful reference forthose interested in understanding the implementationof functional languages. ... Read more


12. Implicit Shared Memory Multiprocessor Support for the Functional Programming Language SAC - Single Assignment C
by Clemens Grelck
 Paperback: Pages (2001-08-20)
-- used & new: US$64.75
(price subject to change: see help)
Asin: B001T48RZQ
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
SAC is a functional array processing language, which aims at combining generic, high level program specifications with efficient runtime behaviour of compiled code. In contrast to other languages with strong support for arrays, e.g. FORTRAN-90, SAC provides very few basic array operations as built-in functions. Instead, aggregate operations on arrays are specified in SAC itself by means of WITH-loops. This versatile language construct supports dimension-invariant specifications and, thus, allows for implementing generic array operations which are still applicable to arrays of any size and dimensionality. By means of comprehensive library, SAC provides about the same array processing functionality as is built-in in languages such as FORTRAN 90 or APL. Despite this generic approach, SAC achieves competitive runtime performance figures in uniprocessor enviroments. Due to its functional, side-effect free semantics and its specific support for aggregate array operations, SAC may be considered relatively well-suited for non-sequential programm execution. However, no support for this has been available yet.Therfore, this thesis investigates opportunities to substantially reduce program execution times by implicitly exploiting shared memory multiprozessors. For this purpose, compilations schemes and runtime system support are developed, which allow to benefit from additional processing resources by simple re-compilation of high-level SAC specifications. The aim is to achieve considerable, preferably linear speedups relative to uniprocessor runtime performance characteristics, which are competitive to low-level programming models. ... Read more


13. Functional Programming Languages and Computer Architecture
 Paperback: 341 Pages (1995-04)
list price: US$48.00
Isbn: 0897917197
Canada | United Kingdom | Germany | France | Japan

14. Functional programming languages in education: First International Symposium, FPLE '95, Nijmegen, The Netherlands ... 1995 : proceedings
 Unknown Binding: 309 Pages (1995)

Asin: B0000EHRZJ
Canada | United Kingdom | Germany | France | Japan

15. Proceedings of the 1981 Conference on Functional Programming Languages and Computer Architecture, October 18-22, 1981, Wentworth-by-the-Sea, Portsmouth, New Hampshire
 Paperback: 228 Pages (1981)

Isbn: 0897910605
Canada | United Kingdom | Germany | France | Japan

16. Fpca '93, Conference on Functional Programming Languages and Computer Architecture: Copenhagen, Denmark, 9-11 June 1993
 Paperback: 350 Pages (1993-01)
list price: US$51.00
Isbn: 089791595X
Canada | United Kingdom | Germany | France | Japan

17. Dylan (programming language): Programming language, Functional programming, Object-oriented programming, Dynamic programming language, Reflection (computer ... Bob Dylan, Scheme (programming language)
Paperback: 156 Pages (2010-01-12)
list price: US$71.00 -- used & new: US$68.28
(price subject to change: see help)
Asin: 6130295839
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
The Dylan programming language is a multi-paradigm language that includes support for functional and object-oriented programming, and is dynamic and reflective while providing a programming model designed to support efficient machine code generation, including fine-grained control over dynamic and static behaviors. It was created in the early 1990s by a group led by Apple Computer. ?Dylan? like the surname of Bob Dylan. Dylan derives from Scheme and Common Lisp and adds an integrated object system derived from the Common Lisp Object System (CLOS). In Dylan, all values (including numbers, characters, functions, and classes) are first-class objects. Dylan supports multiple inheritance, polymorphism, multiple dispatch, keyword arguments, object introspection, pattern-based syntax extension macros, and many other advanced features. Programs can express fine-grained control over dynamism, admitting programs that occupy a continuum between dynamic and static programming and supporting evolutionary development (allowing for rapid prototyping followed by incremental refinement and optimization). ... Read more


18. Functional Logic Programming Languages: Oz, Curry, Algebraic Logic Functional Programming Language, Alice, Metal, Mozart Programming System, Leda
Paperback: 30 Pages (2010-09-15)
list price: US$14.14 -- used & new: US$14.13
(price subject to change: see help)
Asin: 1158388179
Canada | United Kingdom | Germany | France | Japan
Editorial Review

Product Description
Chapters: Oz, Curry, Algebraic Logic Functional Programming Language, Alice, Metal, Mozart Programming System, Leda. Source: Wikipedia. Pages: 28. Not illustrated. Free updates online. Purchase includes a free trial membership in the publisher's book club where you can select from more than a million books without charge. Excerpt: Oz is a multiparadigm programming language, developed in the Programming Systems Lab at Université catholique de Louvain, for programming language education. It has a canonical textbook: Concepts, Techniques, and Models of Computer Programming. Oz was first designed by Gert Smolka and his students in 1991. In 1996 the development of Oz continued in cooperation with the research group of Seif Haridi and Peter Van Roy at the Swedish Institute of Computer Science. Since 1999, Oz has been continually developed by an international group, the Mozart Consortium, which originally consisted of Saarland University, the Swedish Institute of Computer Science, and the Université catholique de Louvain. In 2005, the responsibility for managing Mozart development was transferred to a core group, the Mozart Board, with the express purpose of opening Mozart development to a larger community. The Mozart Programming System is the primary implementation of Oz. It is released with an open source license by the Mozart Consortium. Mozart has been ported to different flavors of Unix, FreeBSD, Linux, Microsoft Windows, and Mac OS X. Oz contains most of the concepts of the major programming paradigms, including logic, functional (both lazy and eager), imperative, object-oriented, constraint, distributed, and concurrent programming. Oz has both a simple formal semantics (see chapter 13 of the book mentioned below) and an efficient implementation. Oz is a concurrency-oriented language, as the term was introduced by Joe Armstrong, the main designer of the Erlang language. A concurrency-oriented language makes concurrency both e...More: http://booksllc.net/?id=256916 ... Read more


19. Fpca '89: The Fourth International Conference on Functional Programming Languages and Computer Architecture
by Association for Computing Machinery
 Paperback: 401 Pages (1989-06)
list price: US$39.95
Isbn: 0201513897
Canada | United Kingdom | Germany | France | Japan

20. A Framework for Programming Interactive Graphics in a Functional Programming Language.
by Enno Scholz
Paperback: 336 Pages (2003-07-31)

Isbn: 3833001917
Canada | United Kingdom | Germany | France | Japan

  1-20 of 101 | Next 20
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

Prices listed on this site are subject to change without notice.
Questions on ordering or shipping? click here for help.

site stats