Research Catalog

New! Try our Article Search to discover online journals, books, and more from home with your library card.

Selected filters.Clear Filters

  • Parallel computers : object-oriented, functional and logic / edited by P.C. Treleaven.

    • Text
    • Chichester ; New York : Wiley, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSF 91-176Offsite

  • Functional programming for loosely-coupled multiprocessors / Paul Kelly.

    • Text
    • London : Pitman ; Cambridge, Mass. : MIT Press, 1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSE 90-2306Offsite

  • AWL : ein Programm zur Bearbeitung logischer Funktionsabläufe / von Stephan Koch.

    • Text
    • Jülich, Bundesrepublik Deutschland : Zentralbibliothek der Kernforschungsanlage Jülich, 1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSG 91-65Offsite

  • An architecture for combinator graph reduction / Philip John Koopman, Jr.

    • Text
    • Boston : Academic Press, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSE 91-2172Offsite

  • The functional treatment of parsing / by René Leermakers.

    • Text
    • Boston : Kluwer Academic Publishers, c1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 94-40Offsite

  • Functional programming, program transformations and compiler construction : proefschrift ... / door Alexander Augusteijn.

    • Text
    • [Eindhoven : Philips Natuurkundig Laboratorium?], 1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSF 95-844Offsite

  • Functional programming and input/output / Andrew D. Gordon.

    • Text
    • Cambridge [England] ; New York : Cambridge University Press, 1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSF 95-295Offsite

  • Applications of functional programming / edited by Colin Runciman, David Wakeling.

    • Text
    • London : UCL Press, c1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Book/text JSE 99-1422Offsite

  • A tight, practical integration of relations and functions / Harold Boley.

    • Text
    • Berlin ; New York : Springer, c1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Book/Text JSE 00-119Offsite

  • Spezifikation der Architektur und Realisierung eines Reduktionssystems mit konsequenter Unterstützung strukturierter Datenobjekte und n-stelliger definierter Funktionen / Claudia Schmittgen.

    • Text
    • München : R. Oldenbourg, 1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Book/text ReCAP 11-37575Schwarzman Building - General Research Room 315
    Request for On-site UseRequest Scan

    Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.

  • Relevanzanalyse : eine Kombination von Striktheits- und Datenflussanalyse zur effizienten Auswertung funktionaler Programme / Dieter Maurer.

    • Text
    • Berlin ; New York : Springer, c1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Book/text ReCAP 12-178Offsite

  • Functional and object oriented analysis and design : an integrated methodology / Peretz Shoval.

    • Text
    • Hershey, PA : Idea Group Pub. (an imprint of Idea Group Inc.), c2007.
    • 2007
    • 1 Item

    Available Online

    http://www.loc.gov/catdir/toc/ecip0611/2006010090.html
    FormatCall NumberItem Location
    Book/Text JSF 06-575Offsite

  • The Haskell school of music : from signals to symphonies / Paul Hudak, Donya Quick.

    • Text
    • Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2018.
    • 2018-2018
    • 1 Item
    FormatCall NumberItem Location
    Book/text JME 18-491Performing Arts Research Collections - Music
    Request for On-site UseRequest Scan

    Available - Can be used on site. Please visit New York Public Library - Performing Arts Research Collections to submit a request in person.

  • An introduction to functional programming through Lambda calculus / Greg Michaelson.

    • Text
    • Berkshire, U.K. ; Reading, Mass : Addison-Wesley, [1989], ©1989.
    • 1989-1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .M4854 1989Off-site
    Request for On-site UseRequest Scan
    Not available - Please for assistance.

  • The Schemer's guide / by Iain Ferguson ; with Edward Martin and Burt Kaufman ; foreword by Daniel P. Friedman.

    • Text
    • Fort Lauderdale, FL : Schemers Inc., [1990], ©1990.
    • 1990-1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.73.S34 F47 1990gOff-site

  • Proceedings of the 1988 ACM Conference on Lisp and Functional Programming : papers presented at the Conference, Snowbird, Utah, July 25-27, 1988 / sponsored by the Association for Computing Machinery, SIGPLAN, SIGACT, SIGART.

    • Text
    • New York, N.Y. : ACM Press, [1988], ©1988.
    • 1988-1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.73.L23 A24 1988Off-site

  • Functional programming, Glasgow 1990 : proceedings of the 1990 Glasgow Workshop on Functional Programming, 13-15 August 1990, Ullapool, Scotland / Simon L. Peyton Jones, Graham Hutton, and Carsten Kehler Holst, eds.

    • Text
    • London ; New York : Springer-Verlag, 1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.62 .G58 1990Off-site

  • Prospects for functional programming in software engineering / J.-P. Banâtre, S.B. Jones, D. Le Métayer.

    • Text
    • Berlin ; New York : Springer-Verlag, [1991], ©1991.
    • 1991-1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.62 .B36 1991Off-site

  • Type theory & functional programming / Simon Thompson.

    • Text
    • Wokingham, Berkshire, England ; Boston, Mass. : Addison-Wesley, 1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.62 .T46 1991Off-site

  • Semantics of type theory : correctness, completeness, and independence results / Thomas Streicher.

    • Text
    • Boston : Birkhäuser, 1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .S82 1991Off-site

  • An introduction to functional programming systems using Haskell / Antony J.T. Davie.

    • Text
    • Cambridge ; New York : Cambridge University Press, 1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.62 .D38 1992gOff-site

  • Functional programming and its applications : an advanced course / edited by J. Darlington, P. Henderson, D.A. Turner.

    • Text
    • Cambridge ; New York : Cambridge University Press, 1982.
    • 1982
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .F85 1982aOff-site

  • The functional treatment of parsing / by René Leermakers.

    • Text
    • Boston : Kluwer Academic Publishers, [1993], ©1993.
    • 1993-1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.N38 L42 1993Off-site

  • Introduction to functional programming using Haskell / Richard Bird.

    • Text
    • London ; New York : Prentice Hall Europe, [1998], ©1998.
    • 1998-1998
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.62 .B57 1998Off-site

  • A tight, practical integration of relations and functions / Harold Boley.

    • Text
    • Berlin ; New York : Springer-Verlag, 1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.63 .B65 1999Off-site

  • The Haskell school of expression : learning functional programming through multimedia / Paul Hudak.

    • Text
    • New York : Cambridge University Press, 2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.62 .H83 2000Off-site

  • Linear-fractional programming : theory, methods, applications and software / Erik B. Bajalinov.

    • Text
    • 2003
    • 1 Item
    FormatCall NumberItem Location
    Text T57.74 .B35 2003Off-site

  • Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing.

    • Text
    • New York : Springer Science+Business Media, [2005], ©2005.
    • 2005-2005
    • 1 Item
    FormatCall NumberItem Location
    Book/Text QA9.54 .P64 2005Off-site

  • Functional programming for loosely-coupled multiprocessors / Paul H.J. Kelly.

    • Text
    • London, England : Pitman Pub. ; Cambridge, MA : MIT Press, [1989], ©1989.
    • 1989-1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .K449 1989bOff-site

  • Parallel computers : object-oriented, functional and logic / P.C. Treleaven, ed.

    • Text
    • Chichester ; New York : Wiley, [1990], ©1990.
    • 1990-1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.5 .P31474 1990Off-site

  • Logical foundations of functional programming / edited by Gérard Huet.

    • Text
    • Reading, Mass. : Addison-Wesley, 1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.62 .L64 1990Off-site

  • Research topics in functional programming / edited by David A. Turner.

    • Text
    • Reading, Mass. : Addison-Wesley Pub. Co., [1990], ©1990.
    • 1990-1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.62 .R47 1990Off-site

  • Functional programming with Hope / Roger Bailey.

    • Text
    • New York : Ellis Horwood, 1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.62 .B35 1990Off-site

  • An architecture for combinator graph reduction / Philip John Koopman, Jr.

    • Text
    • Boston : Academic Press, [1990], ©1990.
    • 1990-1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.A73 K66 1990Off-site

  • Implementation of non-strict functional programming languages / Kenneth R. Traub.

    • Text
    • London : Pitman ; Cambridge, Mass. : MIT Press, 1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.62 .T73 1991Off-site

  • Morphogrammatik : eine Einführung in die Theorie der Form / Rudolf Kaehr, Thomas Mahler.

    • Text
    • Klagenfurt : IFF/Arbeitsbereich Technik- und Wissenschaftsforschung, [1994]
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text QH324.2 .K34 1994xOff-site

  • Introduction to functional programming / Richard Bird, Philip Wadler.

    • Text
    • New York : Prentice Hall, 1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Book/text QA76.6 .B568 1988Off-site

  • Methodologies for improving the performance of functional programs / a thesis presented by Rueben Ross Olinsky.

    • Text
    • 2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text CSOlinsky2004Off-site

  • Pattern calculus : computing with functions and structures / Barry Jay.

    • Text
    • Berlin ; New York : Springer, c2009.
    • 2009
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.D35 J39 2009Off-site

  • Spezifikation der Architektur und Realisierung eines Reduktionssystems mit konsequenter Unterstützung strukturierter Datenobjekte und n-stelliger definierter Funktionen / Claudia Schmittgen.

    • Text
    • München : R. Oldenbourg, 1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Book/text QA1.G34 Nr.169Off-site

  • ML with concurrency : design, analysis, implementation, and application / Flemming Nielson, editor.

    • Text
    • New York : Springer, c1997.
    • 1997
    • 1 Item
    FormatCall NumberItem Location
    Book/text QA76.73.M6 M57 1997Off-site

  • Spezifikation der Architektur und Realisierung eines Reduktionssystems mit konsequenter Unterstützung strukturierter Datenobjekte und n-stelliger definierter Funktionen / Claudia Schmittgen.

    • Text
    • München : R. Oldenbourg, 1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Book/text QA1 .G34 Nr.169Off-site

  • Drawing programs : the theory and practice of schematic functional programming / Tom Addis, Jan Addis.

    • Text
    • London ; New York : Springer, c2010.
    • 2010
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.62 .A33 2010Off-site

  • Elements of functional programming / Chris Reade.

    • Text
    • Wokingham, England ; Reading, Mass. : Addison-Wesley, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Book/text QA76.6 .R4 1989Off-site

  • Functional programming : practice and theory / Bruce J. MacLennan.

    • Text
    • Reading, Mass.: Addison-Wesley, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Book/text QA76.73.F86 M33 1990Off-site

  • ML primer / Ryan Stansifer.

    • Text
    • Englewood Cliffs, N.J. : Prentice Hall, c1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Book/text QA76.73.M6 S73 1992Off-site

  • Functional programming using standard ML / Åke Wikström.

    • Text
    • London [England] ; New York : Prentice Hall, c1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Book/text QA76.7 .W54 1987Off-site

  • An introduction to functional programming through Lambda calculus / Greg Michaelson.

    • Text
    • Berkshire, U.K. ; Reading, Mass : Addison-Wesley, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Book/text QA76.6 .M4854 1989Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta