Subject Summary
Subject Books
Subjects Search
Recently Added
Functional programming (Computer science)
Referred from 78 books
All Books on this Subject
<<
>>
1
2
3
4
A functional database
by
Phil Trinder
Publisher: Oxford, [England] :
Oxford University Computing Laboratory, Programming Research Group
, 1989.
ISBN: 0902928619
A practical course in functional programming using ML
Richard Bosworth
Publisher: London ;
McGraw-Hill
, c1995.
ISBN: 0077076257 DDC: 5.133
A tight, practical integration of relations and functions
Harold Boley
,
Publisher: Berlin ;
Springer
, c1999.
ISBN: 3540666443 LCC: QA76.63
Adapting proofs-as-programs
Adapting proofs-as-programs: the Curry-Howard protocol
Iman Hafiz Poernomo
,
John Newsome Crossley
,
Martin Wirsing
,
Publisher: New York :
Springer
c2005.
ISBN: 0387237593 DDC: 511.36 LCC: QA9.54 Edition: (hardback : acid-free paper)
Adapting proofs-as-programs
Adapting proofs-as-programs the Curry-Howard protocol
Iman Hafiz Poernomo
,
John Newsome Crossley
, Martin Wirsing
Publisher: New York :
Springer
, c2005.
ISBN: 0387281835 Edition: (e-ISBN)
Algorithms
Algorithms: a functional programming approach
Fethi Rabhi
,
Guy Lapalme
Publisher: Harlow :
Addison-Wesley
, 1999.
ISBN: 0201596040 DDC: 511.8
An architecture for combinator graph reduction
Philip John Koopman, Jr
Publisher: Boston :
Academic Press
, c1990.
ISBN: 0124192408 DDC: 4.22015115 LCC: QA76.9
An introduction to functional programming systems using Haskell
Antony J. T. Davie
Publisher: Cambridge ;
Cambridge University Press
, 1992.
ISBN: 0521277248 DDC: 5.11 LCC: QA76.62 Edition: (pbk.)
An introduction to functional programming systems using Haskell
Antony J. T. Davie
Publisher: Cambridge ;
Cambridge University Press
, 1992.
ISBN: 0521258308 DDC: 5.11 LCC: QA76.62
An Introduction to functional programming through Lambda calculus
Greg Michaelson
Publisher:
Addison Wesley
, 1989.
ISBN: 0201178125 DDC: 5.131
Automatic termination analysis for functional and imperative programs
Jürgen Brauburger
Publisher: Sankt Augustin :
Infix
, c1999.
ISBN: 389601207X LCC: QA76.76
Automatische Komplexitätsanalyse funktionaler Programme
Wolf Zimmermann
Publisher: Berlin ;
Springer
, c1990.
ISBN: 354053430X LCC: QA76.62
Computation as logic
René Lalement
; translated by John Plaice
Publisher: Paris :
Masson
; c1993.
ISBN: 0137700091 DDC: 5.1 LCC: QA76.63
Elementary standard ML
Greg Michaelson
Publisher: New York :
Springer
, 1995.
ISBN: 0387946217 Edition: (pbk.)
Elementary standard ML
Greg Michaelson
Publisher: London :
UCL Press
, 1995.
ISBN: 1857283988 DDC: 5.133 LCC: QA76.73 Edition: (Paper)
Elementary standard ML
Greg Michaelson
Publisher: London :
UCL Press
, 1995.
ISBN: 6610110921 DDC: 5.133 LCC: QA76.73
Elementary standard ML
Greg Michaelson
Publisher: London :
UCL Press
, 1995.
ISBN: 0203116593 DDC: 5.133 LCC: QA76.73 Edition: (electronic bk.)
Elementary standard ML
Greg Michaelson
Publisher: London :
UCL Press
, 1995.
ISBN: 0203163869 LCC: QA76.73 Edition: (electronic bk.)
Elements of functional programming
Chris Reade
Publisher: Wokingham, England ;
Addison-Wesley
, c1989.
ISBN: 0201129159
Functional C
Pieter Hartel
,
Henk Muller
Publisher: Harlow, Eng. ;
Addison-Wesley
, c1997.
ISBN: 0201419505 DDC: 5.133 LCC: QA76.73 Edition: (pbk.)
<<
>>
1
2
3
4
Copyright © 2002-2009 ISBNdb.com
FAQ
|
Privacy Policy
|
Contact ISBNdb.com
