Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 75 results
Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985 : proceedings / edited by Guy Cousineau, Pierre-Louis Curien, and Bernard Robinet.
- Text
- Berlin ; New York : Springer-Verlag, c1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text JSE 87-623 Offsite Functional programming : languages, tools, and architectures / editor, S. Eisenbach.
- Text
- Chichester [West Sussex] : E. Horwood ; New York : Halsted Press, 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSE 87-1475 Offsite The implementation of functional programming languages / Simon L. Peyton Jones ; with chapters by Philip Wadler, Peter Hancock, David Turner.
- Text
- Englewood Cliffs, N.J. : Prentice-Hill International, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSE 88-1604 Offsite Functional programming languages and computer architecture : Portland, Oregon, USA, September 14-16, 1987 : proceedings / Gilles Kahn (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSE 88-2448 Offsite Compiling functional languages / Antoni Diller.
- Text
- Chichester [England] ; New York : Wiley, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 88-1285 Offsite Lambda-calculus, combinators, and functional programming / G.E. Revesz.
- Text
- Cambridge [England] ; New York : Cambridge University Press, 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSF 88-601 Offsite Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29-October 1, 1986 / Joseph H. Fasel, Robert M. Keller (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JSF 91-454 Offsite Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings / J. Hughes (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 91-843 Offsite The generic development language Deva : presentation and case studies / Matthias Weber, Martin Simons, Christine Lafontaine.
- Text
- Berlin ; New York : Springer-Verlag, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 94-314 Offsite Functional programming languages in education : first international symposium, FPLE '95, Nijmegen, the Netherlands, December 4-6, 1995 : proceedings / Pieter H. Hartel, Rinus Plasmeijer (eds.).
- Text
- Berlin ; New York : Springer, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 96-175 Offsite Implementation of functional languages : 8th International Workshop, Bad Godesberg, Germany, September 1996 : selected papers / Werner Kluge (ed.).
- Text
- New York : Springer, 1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text JSE 97-1061 Offsite Implementation of functional languages : 9th international workshop, IFL'97 : St. Andrews, Scotland, UK, September 1997 : selected papers / Chris Clack, Kevin Hammond, Tony Davie (eds.).
- Text
- Berlin ; New York : Springer, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSE 98-1402 Offsite Games and full abstraction for a functional metalanguage with recursive types / Guy McCusker.
- Text
- London ; New York : Springer, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSE 99-1132 Offsite Axiomatic domain theory in categories of partial maps / Marcelo P. Fiore.
- Text
- Cambridge ; New York : Cambridge University Press, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSF 99-617 Offsite Implementation of functional languages : 10th International Workshop, IFL '98, London, UK, September 9-11, 1998 : selected papers / Kevin Hammond, Tony Davie, Chris Clack (eds.)
- Text
- Berlin ; New York : Springer, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 99-1734 Offsite Implementation of functional languages : 11th international workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999 : selected papers / Pieter Koopman, Chris Clack (eds.).
- Text
- Berlin ; New York : Springer, 2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text JSE 00-2118 Offsite Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers / Markus Mohnen, Pieter Koopman (eds.).
- Text
- Berlin ; New York : Springer, c2001.
- 2001
- 1 Item
Available Online
http://link.springer.de/link/service/series/0558/tocs/t2011.htmItem details Format Call Number Item Location Text JSE 01-859 Offsite Functional benchmarks for fourth generation languages / Martha Mulford Gray, Gary E. Fisher.
- Text
- Gaithersburg, MD : U.S. Dept. of Commerce, National Institute of Standards and Technology, 1991.
- 1991
Implementation of functional languages : 13th international workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers / Thomas Arts, Markus Mohnen (eds.).
- Text
- Berlin ; New York : Springer, c2002.
- 2002
- 1 Item
Item details Format Call Number Item Location Text JSE 02-1010 Offsite Implementation of term rewriting-based programming languages / Nadia Nedjah and Luiza de Macedo Mourelle.
- Text
- New York : Nova Science Publishers, c2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Text JSF 03-475 Offsite Elementi di linguaggi funzionali / Luigia Carlucci Aiello, Daniele Nardi.
- Text
- Milano : Franco Angeli, c1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text ReCAP 12-4726 Offsite Implementation of functional languages : 14th international workshop, IFL 2002, Madrid, Spain, September 16-18, 2002 : revised selected papers / Ricardo Peña, Thomas Arts (eds.).
- Text
- Berlin ; New York : Springer, c2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Text JSE 03-1458 Offsite Implementation of functional languages : 15th international workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003 ; revised papers / [volume editors: Phil Trinder, Greg Michaelson, Ricardo Peña].
- Text
- Berlin ; New York : Springer, 2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text JSE 05-344 Offsite Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29-October 1, 1986 / Joseph H. Fasel, Robert M. Keller (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1987.
- 1987
Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings / J. Hughes (Ed.)
- Text
- Berlin ; New York : Springer-Verlag, [1991], ©1991.
- 1991-1991
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .F84 1991 Off-site Lazy functional languages : abstract interpretation and compilation / Geoffrey Burn.
- Text
- London : Pitman ; Cambridge, Mass. : MIT Press, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .B87 1991 Off-site Parallel functional languages and compilers / edited by Boleslaw K. Szymanski.
- Text
- New York, N.Y. : ACM Press ; Reading, Mass. : Addison-Wesley, [1991], ©1991.
- 1991-1991
- 1 Item
Item details Format Call Number Item Location Text QA76.642 .P37 1991 Off-site Arrays, functional languages, and parallel systems / edited by Lenore M.R. Mullin [and others].
- Text
- Boston : Kluwer Academic Publishers, [1991], ©1991.
- 1991-1991
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .A7 1991 Off-site Two-level functional languages / Flemming Nielson & Hanne Riis Nielson.
- Text
- Cambridge ; New York : Cambridge University Press, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA9.5 .N54 1992 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 The generic development language Deva : presentation and case studies / Matthias Weber, Martin Simons, Christine Lafontaine.
- Text
- Berlin ; New York : Springer-Verlag, [1993], ©1993.
- 1993-1993
- 1 Item
Item details Format Call Number Item Location Text QA76.73.D4 W43 1993 Off-site FPCA '93, Conference on Functional Programming Languages and Computer Architecture : Copenhagen, Denmark, 9-11 June 1993 / sponsored by ACM SIGPLAN/SIGARCH in cooperation with the MIT Laboratory for Computer Science, DIKU (Department of Computer Science, University of Copenhagen), and IFIP Working Group 2.8.
- Text
- New York : ACM Press, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .I58 1993 Off-site Functional programming languages in education : first international symposium, FPLE '95, Nijmegen, the Netherlands, December 4-6, 1995 : proceedings / Pieter H. Hartel, Rinus Plasmeijer (eds.).
- Text
- Berlin ; New York : Springer, [1995], ©1995.
- 1995-1995
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .F68 1995 Off-site Implementation of functional languages : 8th International Workshop, Bad Godesberg, Germany, September 1996 : selected papers / Werner Kluge (ed.).
- Text
- New York : Springer, 1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .I58 1996 Off-site Implementation of functional languages : 9th international workshop, IFL'97 : St. Andrews, Scotland, UK, September 1997 : selected papers / Chris Clack, Kevin Hammond, Tony Davie (eds.).
- Text
- New York : Springer, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .I595 1997 Off-site Implementation of functional languages : 10th International Workshop, IFL '98, London, UK, September 1998: selected papers / Kevin Hammond, Tony Davie, Chris Clack (eds.)
- Text
- Berlin ; New York : Springer-Verlag, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .I56 1998 Off-site Software engineering with OBJ : : algebraic specification in action / edited by Joseph Goguen, Grant Malcolm.
- Text
- Boston : Kluwer Academic, [2000], ©2000.
- 2000-2000
- 1 Item
Item details Format Call Number Item Location Text QA76.758 .S65615 2000g Off-site Implementation of functional languages : 11th International Workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999 : selected papers / Pieter Koopman, Chris Clack (eds.).
- Text
- Berlin ; New York : Springer, 2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .I56 1999 Off-site Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, September 2000 : selected papers / Markus Mohnen, Pieter Koopman (eds.).
- Text
- Berlin ; New York : Springer, 2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .I56 2000 Off-site Implementation of functional languages : 13th international workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers / Thomas Arts, Markus Mohnen (eds.)
- Text
- New York : Springer, 2002.
- 2002
- 2 Items
Item details Format Call Number Item Location Text Off-site Not available - Please for assistance.Item details Format Call Number Item Location Text QA76.62 .I56 2001 Off-site Implementation of functional languages : 14th international workshop, IFL 2002, Madrid, Spain, September 16-18, 2002 : revised papers / Ricardo Peña, Thomas Arts (eds.).
- Text
- 2003
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .I56 2002 Off-site Implementation of functional languages : 15th international workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003 : revised papers / [volume editors: Phil Trinder, Greg Michaelson, Ricardo Pena].
- Text
- Berlin ; New York : Springer, 2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .I56 2003g Off-site Implementation and application of functional languages : 16th international workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 : revised selected papers / Clemens Grelck [and others] (eds.).
- Text
- Berlin ; New York : Springer, [2005], ©2005.
- 2005-2005
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .I56 2004g Off-site WCFLP '05 : proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, September 29, 2005, Tallinn, Estonia / sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN).
- Text
- New York, N.Y. : Association for Computing Machinery, [2005], ©2005.
- 2005-2005
- 1 Item
Item details Format Call Number Item Location Text QA76.62 .A358 2005g Off-site Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985 proceedings / edited by Guy Cousineau, Pierre-Louis Curien, and Bernard Robinet.
- Text
- Berlin ; New York : Springer-Verlag, [1986], ©1986.
- 1986-1986
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .L33 1985 Off-site The implementation of functional programming languages / Simon L. Peyton Jones ; with chapters by Philip Wadler, Peter Hancock, David Turner.
- Text
- Englewood Cliffs, NJ : Prentice/Hall International, [1987], ©1987.
- 1987-1987
- 1 Item
Item details Format Call Number Item Location Text QA767 .P495 1987 Off-site Translating relational queries into iterative programs / Johann Christoph Freytag.
- Text
- Berlin ; New York : Springer-Verlag, [1987], ©1987.
- 1987-1987
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D3 F75 1987 Off-site Implementation and application of functional languages : 17th international workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005 ; revised selected papers / Andrew Butterfield, Clemens Grelck, Frank Huch (eds.).
- Text
- Berlin ; New York : Springer, 2006.
- 2006
- 2 Items
Item details Format Call Number Item Location Text Off-site Not available - Please for assistance.Item details Format Call Number Item Location Text QA76.62 I56 2005g Off-site Implementation and application of functional languages : 18th international symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006 : revised selected papers / Zoltan Horvath, Viktoria Zsok, Andrew Butterfield (eds.).
- Text
- Berlin ; New York : Springer, 2007.
- 2007
- 2 Items
Item details Format Call Number Item Location Text Off-site Not available - Please for assistance.Item details Format Call Number Item Location Text QA76.62 I56 2006g Off-site Elements of functional languages / Martin C. Henson.
- Text
- Oxford ; Boston : Blackwell Scientific Publications, 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .H46 1987 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.
