メインコンテンツに移動

このページのQRコード

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.)
出版情報
  • Berlin ; New York : Springer , c1999
形態
  • xiii, 289 p.  :  ill.  ;  24 cm
ISBN
  • 9783540662419 [3540662413]
シリーズ名
著者名
書誌ID
  • BA42278029
注記
  • Includes bibliographical references
E-Resources
Loading...
Loading...
Loading...
言語
  • 英語
分類・件名
  • LCC：QA76.62
  • DCC：005.1/1
  • LCSH：Functional programming (Computer science) Congresses
主題
タイトルが類似している資料
類似資料
図書

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 : First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text

International Spring School on Advanced Functional Programming Techniques Jeuring, Johan, 1965- Meijer, Erik, 1963-
Springer-Verlag, c1995
図書

Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

International Conference on the Mathematics of Program Construction Backhouse, Roland C., 1948- Oliveira, José N.
Springer, c2000
図書

Logic-based program synthesis and transformation : 8th international workshop, LOPSTR '98, Manchester, UK, June 15-19, 1998 : selected papers

International Workshop on Logic-Based Program Synthesis and Transformation Flener, Pierre, 1964-
Springer, c1999
図書

Implementation of functional languages : 10th International Workshop, IFL '98, London, UK, September 9-11, 1998 : selected papers

International Workshop on the Implementation of Functional Languages Hammond, Kevin Davie, A. J. T. (Antony J. T.), 1939- Clack, Chris
Springer, c1999
図書

Principles of declarative programming : 10th International Symposium, PLILP'98 held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings

International Symposium, PLILP Palamidessi, Catuscia Glaser, Hugh Meinke, Karl
Springer, c1998
図書

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
図書

Application and theory of Petri nets 1998 : 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22-26, 1998 : proceedings

International Conference on Applications and Theory of Petri Nets Desel, Jörg Silva, Manuel
Springer, c1998
図書

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 and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings

European Symposium on Programming European Conferences on Theory and Practice of Software Hankin, Chris
Springer-Verlag, c1998
図書

Implementation of functional languages : 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers

International Workshop on the Implementation of Functional Languages Mohnen, Markus, 1967- Koopman, Pieter
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
図書

ECOOP '98 -- object-oriented programming : 12th European Conference, Brussels, Belgium, July 20-24 1998 : proceedings

European Conference on Object-Oriented Programming Jul, Eric
Springer, c1998
図書

Implementation of functional languages : 9th International Workshop, IFL '97 St. Andrews, Scotland, UK, September 10-12, 1997 : selected papers

International Workshop on the Implementation of Functional Languages Clack, Chris Hammond, Kevin Davie, A. J. T. (Antony J. T.), 1939-
Springer, c1998
図書

Evolutionary programming VII : 7th International Conference, EP98, San Diego, California, USA, March 25-27, 1998 : proceedings

Conference on Evolutionary Programming Porto, V. W. (V. William) IEEE Neural Networks Council
Springer, c1998
図書

Types for proofs and programs : International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers

International Workshop on TYPES Altenkirch, Thorsten, 1962- Naraschewski, Wolfgang, 1970- Reus, Bernhard, 1965-
Springer, c1999
図書

Implementation of functional languages : 11th International Workshop, IFL'99, Lochem, the Netherlands, September 7-10, 1999 : selected papers

International Workshop on the Implementation of Functional Languages Koopman, Pieter Clack, Chris
Springer, c2000
図書

Implementation of functional languages : 8th International Workshop, IFL '96 Bad Godesberg, Germany, September 16-18, 1996 : selected papers

International Workshop on the Implementation of Functional Languages Kluge, Werner
Springer, c1997
図書

Evolvable systems : from biology to hardware : Second International Conference, ICES 98, Lausanne, Switzerland, September 23-25, 1998 : proceedings

International Conference on Evolvable Systems Sipper, Moshe Mange, Daniel, 1940- Pérez-Uribe, Andrés
Springer, c1998
図書

Partial evaluation : practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998

DIKU International Summer School on Partial Evaluation Hatcliff, John, 1966- Mogensen, Torben Æ., 1960- Thiemann, P. (Peter), 1964-
Springer, c1999