Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 101 results
Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings / M. Boscarol, L. Carlucci Aiello, G. Levi, editors.
- Text
- Berlin ; New York : Springer-Verlag, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 88-3405 Offsite Parallel computers : object-oriented, functional and logic / edited by P.C. Treleaven.
- Text
- Chichester ; New York : Wiley, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSF 91-176 Offsite Functional programming for loosely-coupled multiprocessors / Paul Kelly.
- Text
- London : Pitman ; Cambridge, Mass. : MIT Press, 1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JSE 90-2306 Offsite 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
Item details Format Call Number Item Location Text JSG 91-65 Offsite An architecture for combinator graph reduction / Philip John Koopman, Jr.
- Text
- Boston : Academic Press, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSE 91-2172 Offsite Research topics in functional programming / edited by David A. Turner.
- Text
- Reading, Mass. : Addison-Wesley Pub. Co., c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSE 92-5 Offsite Proceedings of the 1990 ACM Conference on LISP and Functional Programming : papers presented at the conference, Nice, France, June 27-29, 1990 / sponsored by the Association for Computing Machinery, SIGPLAN, SIGACT, SIGART and in cooperation with SIGSAM.
- Text
- New York, N.Y. : Association for Computing Machinery ; Baltimore, MD : Copies from ACM Order Dept., 1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSF 92-85 Offsite Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 93-1214 Offsite The functional treatment of parsing / by René Leermakers.
- Text
- Boston : Kluwer Academic Publishers, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 94-40 Offsite Functional programming, program transformations and compiler construction : proefschrift ... / door Alexander Augusteijn.
- Text
- [Eindhoven : Philips Natuurkundig Laboratorium?], 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSF 95-844 Offsite Functional programming and input/output / Andrew D. Gordon.
- Text
- Cambridge [England] ; New York : Cambridge University Press, 1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSF 95-295 Offsite Advanced functional programming : first International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text / Johan Jeuring, Erik Meijer, eds.
- Text
- Berlin ; New York : Springer, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 95-1209 Offsite Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text / J. Launchbury, E. Meijer, T. Sheard (eds.).
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 96-1491 Offsite Applications of functional programming / edited by Colin Runciman, David Wakeling.
- Text
- London : UCL Press, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 99-1422 Offsite Advanced functional programming : Third International School, AFP '98, Braga, Portugal, September 12-19, 1998 : revised lectures / S. Doaitse Swierstra, Pedro R. Henriques, José N. Oliveira (eds.).
- Text
- Berlin ; New York : Springer, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 99-1567 Offsite Research directions in parallel functional programming / Kevin Hammond and Greg Michaelson (eds.).
- Text
- London ; [New York] : Springer, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 00-567 Offsite A tight, practical integration of relations and functions / Harold Boley.
- Text
- Berlin ; New York : Springer, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 00-119 Offsite Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings / Aart Middeldorp, Taisuke Sato (eds.).
- Text
- Berlin ; New York : Springer, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 00-120 Offsite Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings / Herbert Kuchen, Kazunori Ueda (eds.).
- Text
- Berlin ; New York : Springer, c2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSE 01-803 Offsite Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings / Zhenjiang Hu, Mario Rodríguez-Artalejo (eds.).
- Text
- Berlin ; New York : Springer, c2002.
- 2002
- 1 Item
Item details Format Call Number Item Location Text JSE 02-1600 Offsite 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
Item details Format Call Number Item Location Text ReCAP 11-37575 Schwarzman Building - General Research Room 315 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
Item details Format Call Number Item Location Text ReCAP 12-178 Offsite Advanced functional programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002 : revised lectures / Johan Jeuring, Simon Peyton Jones, eds.
- Text
- Berlin ; New York : Springer, c2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Text JSE 03-1289 Offsite Functional and logic programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings / Yukiyoshi Kameyama, Peter J. Stuckey (eds.).
- Text
- Berlin ; New York : Springer, 2004.
- 2004
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2998Item details Format Call Number Item Location Text JSE 04-1398 Offsite 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.htmlItem details Format Call Number Item Location Text JSF 06-575 Offsite 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
Item details Format Call Number Item Location Text JME 18-491 Performing Arts Research Collections - Music 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
Item details Format Call Number Item Location Text QA76.6 .M4854 1989 Off-site 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
Item details Format Call Number Item Location Text QA76.73.S34 F47 1990g Off-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
Item details Format Call Number Item Location Text QA76.73.L23 A24 1988 Off-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
Item details Format Call Number Item Location Text QA76.62 .G58 1990 Off-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
Item details Format Call Number Item Location Text QA76.62 .B36 1991 Off-site Type theory & functional programming / Simon Thompson.
- Text
- Wokingham, Berkshire, England ; Boston, Mass. : Addison-Wesley, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .T46 1991 Off-site Semantics of type theory : correctness, completeness, and independence results / Thomas Streicher.
- Text
- Boston : Birkhäuser, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .S82 1991 Off-site An introduction to functional programming systems using Haskell / Antony J.T. Davie.
- Text
- Cambridge ; New York : Cambridge University Press, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .D38 1992g Off-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
Item details Format Call Number Item Location Text QA76.6 .F85 1982a Off-site Proceedings of the 1992 ACM Conference on LISP and Functional Programming : papers presented at the conference, San Francisco, California, June 22-24, 1992 / sponsored by the Association for Computing Machinery [and others].
- Text
- New York : ACM Press ; Baltimore : Order prepaid from ACM Order Department, [1992], ©1992.
- 1992-1992
- 1 Item
Item details Format Call Number Item Location Text QA76.73.L23 A26 1992g Off-site Functional programming, Glasgow 1991 : proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 / Rogardt Heldal, Carsten Kehler Holst, and Philip Wadler (eds.)
- Text
- London ; New York : Springer-Verlag, [1992], ©1992.
- 1992-1992
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .G58 1991 Off-site Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992 : McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer (ed.).
- Text
- Berlin ; New York : Springer-Verlag, [1993], ©1993.
- 1993-1993
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .F86 1993g Off-site Functional programming, Glasgow 1992 : proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 / John Launchbury and Patrick Sansom, eds.
- Text
- London ; New York : Springer-Verlag, [1993], ©1993.
- 1993-1993
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .G58 1992 Off-site The functional treatment of parsing / by René Leermakers.
- Text
- Boston : Kluwer Academic Publishers, [1993], ©1993.
- 1993-1993
- 1 Item
Item details Format Call Number Item Location Text QA76.9.N38 L42 1993 Off-site Journal of functional programming.
- Text
- Cambridge ; New York, NY : Cambridge University Press, ©1991-
- 1991-present
- 13 Items
Item details Format Call Number Item Location Text QA76.62 .J68 v.14 (2004) Off-site Item details Format Call Number Item Location Text QA76.62 .J68 v.15 (2005) Off-site Item details Format Call Number Item Location Text QA76.62 .J68 v.16 (2006) Off-site Proceedings of the 1994 ACM Conference on LISP and Functional Programming : papers presented at the conference, Orlando, Florida, June 27-29 / sponsored by the Association for Computing Machinery, SIGPLAN, SIGACT, SIGART ; [conference chair, Robert R. Kessler].
- Text
- New York : ACM Press : Order prepaid from ACM Order Department, [1994], ©1994.
- 1994-1994
- 1 Item
Item details Format Call Number Item Location Text QA76.73.L23 A26 1994 Off-site Advanced functional programming : First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text / Johan Jeuring, Erik Meijer, eds.
- Text
- Berlin ; New York : Springer-Verlag, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .I59 1995 Off-site Functional programming, Glasgow 1994 : proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 / Kevin Hammond, David N. Turner, and Patrick M. Sansom.
- Text
- London ; New York : Springer-Verlag, 1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .G58 1995 Off-site Fuji International Workshop on functional and logic programming : Susono, Japan, July 17-19, 1995 / editors, Masato Takeichi, Tetsuo Ida.
- Text
- Singapore ; New Jersey : World Scientific, [1995], ©1995.
- 1995-1995
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .F85 1995 Off-site Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text / J. Launchbury, E. Meijer, T. Sheard (eds.).
- Text
- Berlin ; New York : Springer, [1996], ©1996.
- 1996-1996
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .A38 1996 Off-site Functional and logic programming : Second Fuji Interntational Workshop : Shonan Village Center, Japan, November 1-4, 1996 / editors, Tetsuo Ida [and others].
- Text
- [River Edge], New Jersey : World Scientific Pub., 1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .F85 1996 Off-site Third Fuji International Symposium on Functional and Logic Programming : Kyoto, Japan, April 2-4, 1998 / editors, Masahiko Sato, Yoshihito Toyama.
- Text
- Singapore ; River Edge, N.J. : World Scientific, [1998], ©1998.
- 1998-1998
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .F85 1998g Off-site Introduction to functional programming using Haskell / Richard Bird.
- Text
- London ; New York : Prentice Hall Europe, [1998], ©1998.
- 1998-1998
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .B57 1998 Off-site Advanced functional programming : Third International School, AFP '98, Braga, Portugal, September 12-19, 1998 : revised lectures / S. Doaitse Swierstra, Pedro R. Henriques, José N. Oliveira (eds.).
- Text
- Berlin ; New York : Springer, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .A39 1998 Off-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.
