书目名称 | Central European Functional Programming School | 副标题 | Second Summer School | 编辑 | Zoltán Horváth,Rinus Plasmeijer,Viktória Zsók | 视频video | http://file.papertrans.cn/224/223178/223178.mp4 | 丛书名称 | Lecture Notes in Computer Science | 图书封面 |  | 描述 | This volume presents the revised lecture notes of selected talks given at the second Central European Functional Programming School, CEFP 2007, held June 23–30, 2007 at Babe¸ s-Bolyai University, Cluj-Napoca, Romania. The summer school was organized in the spirit of the advanced progr- ming schools. CEFP focuses on involving an ever-growing number of students, researchers,andteachersfromcentral,andeasternEuropeancountries.We were glad to welcome the invited lecturers and the participants: 15 professors and 30 students from 9 di?erent universities. The intensive program o?ered a creative and inspiring environment and a great opportunity to present and exchange ideas in new topics of functional programming. The lectures covereda wide range of topics like interactive work ?ows for the Web, proving properties of lazy functional programs, lambda calculus and - stract lambda calculus machines, programming in ? mega, object-oriented fu- tional programming, and refactoring in Erlang. We are very grateful to the lecturers and researchers for the time and the e?ort they devoted to the talks and the revised lecture notes. The lecture notes were each carefully checked by reviewers selected fro | 出版日期 | Textbook 2008 | 关键词 | erlang; functional programming; itasks; programming; proving; refactoring; sparkle; web programming | 版次 | 1 | doi | https://doi.org/10.1007/978-3-540-88059-2 | isbn_softcover | 978-3-540-88058-5 | isbn_ebook | 978-3-540-88059-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 | issn_series | 0302-9743 | copyright | Springer-Verlag Berlin Heidelberg 2008 |
The information of publication is updating
|
|