メインコンテンツに移動

このページのQRコード

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.)
出版情報
  • Berlin ; Tokyo : Springer-Verlag , c1995
形態
  • 331 p.  :  ill.  ;  24 cm
ISBN
  • 9783540594512 [3540594515] (: gw)
  • 9780387594514 [0387594515] (: us)
シリーズ名
著者名
書誌ID
  • BA25071294
注記
  • Includes bibliographical references
E-Resources
Loading...
Loading...
Loading...
言語
  • 英語
分類・件名
  • LCC：QA76.62
  • DCC：005.1
  • NDC8：410.9
  • LCSH：Functional programming (Computer science)--Congresses
  • LCSH：Logic programming--Congresses
  • LCSH：Functional programming languages--Congresses
  • NDLSH：グラフ理論
主題
タイトルが類似している資料
類似資料
図書

Advanced functional programming : Second International School, Olympia, WA, USA, August 26-30, 1996 : tutorial text

International Spring School on Advanced Functional Programming Techniques Launchbury, John Meijer, Erik, 1963- Sheard, T. (Tim)
Springer, c1996
図書

Advanced functional programming : Third International School, AFP '98, Braga, Portugal, September 12-19, 1998 : revised lectures

International Spring School on Advanced Functional Programming Techniques Sweierstra, S. Doaitse Henriques, Pedro R. Oliveira, José N.
Springer, c1999
図書

Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

International Conference on the Mathematics of Program Construction Jeuring, Johan, 1965-
Springer, c1998
図書

Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings

FLOPS Kuchen, Herbert R., 1958- 上田, 和紀(1956-)
Springer, c2001
図書

Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers

International Workshop on TYPES Dybjer, Peter Nordström, Bengt Smith, Jan M
Springer-Verlag, c1995
図書

Functional programming languages and computer architecture : 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings

Hughes, John, 1958- ACM Special Interest Group in Programming Languages Conference on Functional Programming Languages and Computer Architecture
Springer-Verlag, c1991
図書

Functional programming languages and computer architecture : Nancy, France, September 16-19, 1985

Jouannaud, Jean-Pierre Conference on Functional Programming Languages and Computer Architecture
Springer-Verlag, c1985
図書

Programming languages implementation and logic programming : International Workshop PLILP '88, Orléans, France, May 16-18, 1988 : proceedings

International Workshop PLILP Deransart, Pierre, 1945- Lorho, Bernard Małuszyński, Jan, 1941-
Springer-Verlag, c1989
図書

Logic program synthesis and transformation : 6th International Workshop, LOPSTR '96, Stockholm, Sweden, August 28-30, 1996 : proceedings

International Workshop on Logic Program Synthesis and Transformation Gallagher, John P.
Springer, c1997
図書

Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers

International Workshop on TYPES Barendregt, H. P. (Hendrik Pieter), 1947- Nipkow, Tobias, 1958-
Springer-Verlag, c1994
図書

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings

International Workshop, META Pettorossi, A. (Alberto), 1947-
Springer-Verlag, c1992
図書

Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

International Workshop on Logic Program Synthesis and Transformation Lau, K.-K. (Kung-Kiu), 1953-
Springer, c2001
図書

Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings

Foundations of Logic and Functional Programming Workshop Boscarol, Mauro, 1947- Carlucci Aiello, Luigia, 1946- Levi, Giorgio, 1942-
Springer-Verlag, c1988
図書

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers

International Workshop on Logic Program Synthesis and Transformation Bossi, Annalisa, 1948-
Springer, c2000
図書

Advances in cryptology - EUROCRYPT 2000 : International Conference on the Theory and Application of Cryptographic Techniques, Bruges, Belgium, May 14-18, 2000 : proceedings

EUROCRYPT Preneel, Bart, 1963-
Springer, c2000
図書

International Symposium on Programming : proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980

Robinet, Bernard, 1941- International symposium on programming
Springer-Verlag, 1980
図書

Information theory and applications II : 4th Canadian workshop, Lac Delage, Québec, Canada, May 28-30, 1995 : selected papers

Canadian Workshop on Information Theory Chouinard, Jean-Yves, 1956- Fortier, Paul, 1959- Gulliver, T. Aaron, 1960-
Springer, c1996
図書

Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24 - October 1, 1986, proceedings

Venturini Zilli, Marisa Advanced School on Mathematical Models for the Semantics of Parallelism
Springer-Verlag, c1987
図書

Programming languages and systems -- ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings

European Symposium on Programming Nielson, Hanne Riis, 1954-
Springer-Verlag, c1996
図書

Types for proofs and programs : International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers

International Workshop on TYPES Coquand, Thierry, 1961-
Springer, c2000
© Niigata University Library