上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Functional programming languages)
該当件数:14件
Implementing functional languages / Simon L. Peyton Jones and David R. Lester
New York ; Tokyo : Prentice Hall , 1992. - (Prentice-Hall International series in computer science)
図書 <1000453592>
Implementation of functional languages : 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers / Markus Mohnen, Pieter Koopman (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2011)
図書 <1001263047>
Implementation of functional languages : 11th International Workshop, IFL'99, Lochem, the Netherlands, September 7-10, 1999 : selected papers / Pieter Koopman, Chris Clack (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1868)
図書 <1001180827>
Implementation of functional languages : 13th international workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers / Thomas Arts, Markus Mohnen (eds.)
Berlin ; New York : Springer , c2002. - (Lecture notes in computer science ; 2312 . Lecture notes in artificial intelligence)
図書 <1001367929>
The generic development language Deva : presentation and case studies / Matthias Weber, Martin Simons, Christine Lafontaine
: gw,: us. - Berlin ; New York : Springer-Verlag , c1993. - (Lecture notes in computer science ; 738)
図書 <1000488766>
Implementation of functional languages : 9th International Workshop, IFL '97 St. Andrews, Scotland, UK, September 10-12, 1997 : selected papers / Chris Clack, Kevin Hammond, Tony Davie (eds.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1467)
図書 <1000997385>
Implementation of functional languages : 8th International Workshop, IFL '96 Bad Godesberg, Germany, September 16-18, 1996 : selected papers / Werner Kluge (ed.)
Berlin : Springer , c1997. - (Lecture notes in computer science ; 1268)
図書 <1000554129>
Fun[c]tional programming languages in education : First International Symposium, FPLE '95, Nijmegen, The Netherlands, December 4-6, 1995 : proceedings / Pieter H. Hartel and Rinus Plasmeijer (eds.)
Berlin : Springer , c1995. - (Lecture notes in computer science ; 1022)
図書 <1000531849>
Functional programming languages and computer architecture, Portland, Oregon, USA, September 14-16, 1987 : proceedings / Gilles Kahn (ed.)
Berlin ; New York : Springer-Verlag , c1987. - (Lecture notes in computer science ; 274)
図書 <1000646312>
Functional programming languages and computer architecture : Nancy, France, September 1985 / edited by Jean-Pierre Jouannaud
Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in computer science. ; 201)
図書 <1000586803>
Translating relational queries into iterative programs / Johann Christoph Freytag
Berlin ; New York : Springer-Verlag , 1987, c1985. - (Lecture notes in computer science. ; 261)
図書 <1000587447>
Functional programming languages and computer architecture : 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings / J. Hughes, (ed.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1991. - (Lecture notes in computer science ; 523)
図書 <1000429169>
Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29-October 1, 1986 / Joseph H. Fasel, Robert M. Keller (eds.)
Berlin ; New York : Springer-Verlag , c1987. - (Lecture notes in computer science. ; 279)
図書 <1000587429>
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.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1995. - (Lecture notes in computer science ; 925)
図書 <1000520652>