ISBNs for functional programming

ISBN.nu

search for books and compare prices

functional programming matches 51 work(s)

at beginning | displaying 1 to 25 | next 25 >

show results in order: alphabetically | oldest to newest | newest to oldest

In Hiding: A Survivors Journal to the Great Outbreak

Product Description: The unimaginable horrors of The Great Outbreak were well documented. Every form of media covered the story for as long as they were able to and Jake followed it closely. A part of him was looking for a reasonable explanation for what he was seeing, another part of him was just praying that it wouldn't make its way to his front door...read more

By Michael Elliott

See complete details on each edition (2 editions listed)

Paperback:

9781508407966 | Createspace Independent Pub, February 8, 2015, cover price $11.99 | About this edition: The unimaginable horrors of The Great Outbreak were well documented.

9780471951445, titled "Practical Applications of Functional Languages" | John Wiley & Sons Inc, September 1, 1998, cover price $70.00 | also contains Practical Applications of Functional Languages

Games and Full Abstraction for a Functional Metalanguage With Recursive Types

Product Description: This book is a minor revision of the thesis submitted in August 1996; no major changes have been made. However, I would like to take this opportunity to mention that since the thesis was written, discoveries have been made which would allow a substantial simplification and strengthening of the results in Chapters 3 and 6...read more

By Guy McCusker

See complete details on each edition (2 editions listed)

Hardcover:

9783540762553 | Springer Verlag, June 1, 1998, cover price $136.00 | About this edition: Hard to Find book

Paperback:

9781447111658 | Springer-Verlag New York Inc, October 23, 2012, cover price $99.00 | About this edition: This book is a minor revision of the thesis submitted in August 1996; no major changes have been made.

Expert F#

By Antonio Cisternino, Adam Granicz and Don Syme

See complete details on each edition (1 edition listed)

Hardcover:

9781590598504 | Apress, December 3, 2007, cover price $84.99

Ml With Concurrency: Design, Analysis, Implementation, and Application

Product Description: Both functional and concurrent programming are relatively new paradigms with great promise. In this book, a survey is provided of extensions to Standard ML, one of the most widely used functional languages, with new primitives for concurrent programming...read more

By Flemming Nielson (editor)

See complete details on each edition (2 editions listed)

Hardcover:

9780387948751 | Springer Verlag, November 1, 1996, cover price $99.00 | About this edition: Both functional and concurrent programming are relatively new paradigms with great promise.

Paperback:

9781461274834 | Reprint edition (Springer-Verlag New York Inc, October 8, 2011), cover price $139.00 | About this edition: Both functional and concurrent programming are relatively new paradigms with great promise.

Extensional Constructs in Intensional Type Theory

Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theories deal with identity types. The book will be of interest particularly to researchers with mainly theoretical interests and implementors of type theory based proof assistants, and also fourth year undergraduates who will find it useful as part of an advanced course on type theory.

By Martin Hofmann

See complete details on each edition (2 editions listed)

Hardcover:

9783540761211 | Springer-Verlag New York Inc, March 1, 1997, cover price $99.00 | About this edition: Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification).

Paperback:

9781447112433 | Reprint edition (Springer Verlag, July 31, 2012), cover price $149.00

Haskell: The Craft of Functional Programming

By Simon Thompson

See complete details on each edition (2 editions listed)

Paperback:

9780201882957 | 3 edition (Addison-Wesley Professional, October 2, 2011), cover price $59.99

9780201342758 | 2 sub edition (Addison-Wesley, March 1, 1999), cover price $62.00

Functional Programming and Input/Output

Product Description: A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O) while at the same time being able to verify programs...read more

By Andrew D. Gordon

See complete details on each edition (2 editions listed)

Hardcover:

9780521471039 | Cambridge Univ Pr, December 1, 1994, cover price $123.00 | About this edition: A common attraction to functional programming is the ease with which proofs can be given of program properties.

Paperback:

9780521070072 | 1 edition (Cambridge Univ Pr, July 31, 2008), cover price $44.99 | About this edition: A common attraction to functional programming is the ease with which proofs can be given of program properties.

Functional and Logic Programming: 9th International Symposium, Flops 2008, Ise, Japan, April 14-16, 2008, Proceedings

Product Description: This book constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008. The 20 revised full papers, together with 3 invited contributions were carefully reviewed and selected from 59 submissions.

By Manuel Hermenegildo (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540789680 | Springer-Verlag New York Inc, April 1, 2008, cover price $99.00 | About this edition: This book constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008.

Computation and Deduction

Product Description: Computation and Deduction is an advanced undergraduate or introductory graduate textbook on the theory of programming languages, covering functional programming, abstract machines, natural deduction, logic programming, and various aspects of type theory...read more (view table of contents, read Amazon.com's description)

By Frank Pfenning

See complete details on each edition (1 edition listed)

Hardcover:

9780521772655 | Cambridge Univ Pr, March 16, 2016, cover price $49.95 | About this edition: Computation and Deduction is an advanced undergraduate or introductory graduate textbook on the theory of programming languages, covering functional programming, abstract machines, natural deduction, logic programming, and various aspects of type theory.

Trends in Functional Programming: Volume 5

By Hans-Wolfgang Loidl

See complete details on each edition (1 edition listed)

Paperback:

9781841501444 | Intellect L & D E F A E, April 1, 2006, cover price $59.95

Functional and Logic Programming: 6th International Symposium, Flops 2002, Aizu, Japan, September 15-17, 2002 : Proceedings

Product Description: This volume contains the proceedings of the Sixth Fuji International Sym- sium on Functional and Logic Programming (FLOPS 2002), held in Aizu, Japan, September 15-17, 2002, hosted by the University of Aizu, and colocated with the First Asian Symposium on Partial Evaluation Semantics-Based Program Manipulation (ASIA-PEPM 2002), which was held on September 12-14...read more

See complete details on each edition (1 edition listed)

Paperback:

9783540442332 | Springer Verlag, September 1, 2002, cover price $99.00 | About this edition: This volume contains the proceedings of the Sixth Fuji International Sym- sium on Functional and Logic Programming (FLOPS 2002), held in Aizu, Japan, September 15-17, 2002, hosted by the University of Aizu, and colocated with the First Asian Symposium on Partial Evaluation Semantics-Based Program Manipulation (ASIA-PEPM 2002), which was held on September 12-14.

Implementation of Functional Languages: 13th International Workshop, Ifl 2001, Stockholm, Sweden, September 24-26, 2001 : Selected Papers

Product Description: The 13th International Workshop on the Implementation of Functional L- guages (IFL 2001) was hosted this year by Ericsson in Stockholm. The growing importance of functional languages in Ericsson products makes strong coope- tion with universities attractive, and hosting IFL was one nice wayto interact...read more

By Thomas Arts, INTERNATIONAL WORKSHOP ON THE IMPLEMENTA and Markus Mohnen

See complete details on each edition (1 edition listed)

Paperback:

9783540435372 | Springer Verlag, May 1, 2002, cover price $99.00 | About this edition: The 13th International Workshop on the Implementation of Functional L- guages (IFL 2001) was hosted this year by Ericsson in Stockholm.

Implementation of Functional Languages: 12th International Workshop, Ifl 2000, Aachen, Germany, September 4-7, 2000Selected Papers

Product Description: This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Implementing Functional Languages, IFL 2000, held in Aachen, Germany in September 2000. The 15 revised full papers presented have gone through a thorough round of post-workshop reviewing and were selected from 33 workshop presentations...read more

By Pieter Koopman (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540419198 | Springer-Verlag New York Inc, May 1, 2001, cover price $99.00 | About this edition: This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Implementing Functional Languages, IFL 2000, held in Aachen, Germany in September 2000.

Functional and Logic Programming: 5th International Symposium, Flops 2001, Tokyo, Japan, March 7-9, 2001 : Proceedings

By Fuji International Symposium on Functional and Logic Programming (other contributor) and Kazunori Ueda (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540417392 | Springer-Verlag New York Inc, March 1, 2001, cover price $109.00

Trends in Functional Programming

Product Description: Covers all aspects of functional programming, both theoretical and practical, to provide a coherent overview of research's most recent developments. This book features: language design, proof and transformation, semantics and models, implementation, applications, type systems, parallelismand distribution, performance modelling and profiling, education, real time and reactive programming, programming methodologies...read more

By Hans-Wolfgang Loidl (editor), Greg Michaelson (editor) and Phil Trinder (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9781841500249 | Intellect L & D E F A E, February 1, 2001, cover price $50.00 | About this edition: Covers all aspects of functional programming, both theoretical and practical, to provide a coherent overview of research's most recent developments.

Implementation of Functional Languages: 11th International Workshop, Ifl'99, Lochem, the Netherlands, September 7-10, 1999 : Selected Papers

Product Description: This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on the Implementation of Functional Languages, IFL'99, held in Lochem, The Netherlands, in September 1999.The 11 revised full papers presented were carefully selected during two rounds of reviewing...read more (view table of contents, read Amazon.com's description)

By Chris Clack (editor) and Pieter Koopman (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540678649 | Springer Verlag, August 1, 2000, cover price $89.99 | About this edition: This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on the Implementation of Functional Languages, IFL'99, held in Lochem, The Netherlands, in September 1999.

Research Directions in Parallel Functional Programming

Product Description: Programming is hard. Building a large program is like constructing a steam locomotive through a hole the size of a postage stamp. An artefact that is the fruit of hundreds of person-years is only ever seen by anyone through a lOO-line window...read more (view table of contents, read Amazon.com's description)

By Kevin Hammond (editor) and Greg Michaelson (editor)

See complete details on each edition (1 edition listed)

Paperback:

9781852330927 | Springer Verlag, May 1, 2000, cover price $129.00 | About this edition: Programming is hard.

The Haskell School of Expression: Learning Functional Programming Through Multimedia

(view table of contents)

By Paul Hudak

See complete details on each edition (2 editions listed)

Hardcover:

9780521643382 | Cambridge Univ Pr, February 28, 2000, cover price $155.00

Paperback:

9780521644082 | Cambridge Univ Pr, April 1, 2000, cover price $64.99

Software Engineering With Obj: Algebraic Specification in Action

(view table of contents)

By Joseph Goguen (editor) and Grant Malcolm (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780792377573 | Kluwer Academic Pub, March 1, 2000, cover price $299.00

Functional and Logic Programming: 4th Fuji International Symposium, Flops'99, Tsukuba, Japan, November 11-13, 1999 : Proceedings

Product Description: This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPSâ99) held in Tsukuba, Japan, November 11â13, 1999, and hosted by the Electrotechnical Laboratory (ETL)...read more (view table of contents, read Amazon.com's description)

By Fuji International Symposium on Functional and Logic Programming (other contributor)

See complete details on each edition (1 edition listed)

Paperback:

9783540666776 | Springer Verlag, September 1, 1999, cover price $109.00 | About this edition: This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPSâ99) held in Tsukuba, Japan, November 11â13, 1999, and hosted by the Electrotechnical Laboratory (ETL).

Advanced Functional Programming: Third International School, Afp '98, Braga, Portugal, September 12-19, 1998 : Revised Lectures

Product Description: Inthisvolumeyouwill?ndthelecturenotescorrespondingtothepres- rd tationsgivenatthe3 summerschoolonAdvancedFunctionalProgramming, heldinBraga,PortugalfromSeptember12-19,1998. ThisschoolwasprecededbyearlieronesinB?astad(1995,Sweden,LNCS925) andOlympia,WA(1996,USA,LNCS1129)...read more (view table of contents, read Amazon.com's description)

By Pedro R. Henriques (editor), Jose N. Oliveira (editor) and S. Doaitse Swierstra (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540662419 | Springer Verlag, August 1, 1999, cover price $99.00 | About this edition: Inthisvolumeyouwill?

Algorithms: A Functional Programming Approach

(view table of contents)

By Guy Lapalme and Fethi Rahbi

See complete details on each edition (1 edition listed)

Paperback:

9780201596045 | 2 edition (Addison-Wesley, August 1, 1999), cover price $78.60

Implementation of Functional Languages: 10th International Workshop, Ifl '98, London, Uk, September 9-11, 1998 Selected Papers

Product Description: This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on the Implementation of Functional Languages, IFL'98, held in London, UK, in September 1998.The 15 revised full papers presented were carefully selected during two rounds of reviewing...read more (view table of contents, read Amazon.com's description)

By Chris Clack, A. J. T. Davie, Kevin Hammond and International Workshop on the Implementation of Functional Languages 1

See complete details on each edition (1 edition listed)

Paperback:

9783540662297 | Springer Verlag, July 1, 1999, cover price $99.00 | About this edition: This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on the Implementation of Functional Languages, IFL'98, held in London, UK, in September 1998.

Purely Functional Data Structures

(view table of contents)

By Chris Okasaki

See complete details on each edition (2 editions listed)

Hardcover:

9780521631242 | Cambridge Univ Pr, May 1, 1998, cover price $110.00

Paperback:

9780521663502 | Cambridge Univ Pr, July 1, 1999, cover price $49.99

An Introduction to Functional Programming and Miranda

By Peter Burton

See complete details on each edition (1 edition listed)

Paperback:

9781850321231 | Itp - Media, June 1, 1999, cover price $26.95

at beginning | displaying 1 to 25 | next 25 >