Central European Functional Programming School: First...

Main
Computers - Programming
Central European Functional Programming...

Central European Functional Programming School: First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures

Rinus Plasmeijer, Peter Achten (auth.), Zoltán Horváth (eds.)

0 / 0

你有多喜歡這本書？

文件的質量如何？

下載本書進行質量評估

下載文件的質量如何？

類別:

Computers - Programming

年:

2006

版本:

1

出版商:

Springer-Verlag Berlin Heidelberg

語言:

english

頁數:

257

ISBN 10:

3540468455

ISBN 13:

9783540468455

系列:

Lecture Notes in Computer Science 4164 : Theoretical Computer Science and General Issues

文件:

PDF, 3.20 MB

IPFS:

,

english, 2006

線上閱讀

轉換進行中

轉換為失敗

你可能感興趣

Tim Bailey — An Introduction to the C Programming Language and Software Design

Robert Sedgewick; Kevin Wayne — Introduction to Programming in Java: An Interdisciplinary Approach 2nd Edition

E. Balaguruswamy — Computer Concepts and Programming in C (UPTU)

Perry Alexander — System Level Design with Rosetta

Peter Van Roy — Concepts, Techniques, and Models of Computer Programming

by Peter Van Roy, Seif Haridi. — Concepts, techniques, and models of computer programming

Bruce Ian Mills — Theoretical introduction to programming

Viktória Zsók, Zoltán Porkoláb, Zoltán Horváth — Central European Functional Programming School: 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

Peter Müller — Programming Languages and Systems

Keisuke Nakano, Konstantinos Sagonas — Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings

Fernando Castor, Yu David Liu (eds.) — Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

Michal Young (auth.), Mauro Pezzè (eds.) — Fundamental Approaches to Software Engineering: 6th International Conference, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Charles Consel, Hedi Hamdi, Laurent Réveillère, Lenin Singaravelu, Haiyan Yu, Calton Pu (auth.), Frank Pfenning, Yannis Smaragdakis (eds.) — Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings

Wen-tsun Wu (auth.), Atsushi Ohori (eds.) — Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.) — Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Greg Nelson (auth.), Dexter Kozen (eds.) — Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

Roland Backhouse (auth.), Charles Rattray, Savitri Maharaj, Carron Shankland (eds.) — Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings

Alfredo Cristóbal-Salas, Andrey Chernykh (auth.), Clemens Grelck, Frank Huch, Greg J. Michaelson, Phil Trinder (eds.) — Implementation and Application of Functional Languages: 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers

Guy L. Steele (auth.), Masami Hagiya, Philip Wadler (eds.) — Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer, (eds.) — Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.) — FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

Kevin Hammond, Greg Michaelson (auth.), Ricardo Peña, Thomas Arts (eds.) — Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers

Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.) — FME 2002: Formal Methods—Getting IT Right. International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings

Mark P. Jones (auth.), Roland Backhouse, José Nuno Oliveira (eds.) — Mathematics of Program Construction: 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 Proceedings

Jens Palsberg (auth.), Jens Palsberg (eds.) — Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.) — Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Johan Jeuring, Alex Gerdes, Bastiaan Heeren (auth.), Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer (eds.) — Central European Functional Programming School: 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers

Zhong Shao (eds.) — Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

最常見的術語