default search action

combined dblp search
author search
venue search
publication search

ask others

CEFP 2005: Budapest, Hungary

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > CEFP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/cefp/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/2005
Zoltán Horváth:
Central European Functional Programming School, First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures. Lecture Notes in Computer Science 4164, Springer 2006, ISBN 3-540-46843-9
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/PlasmeijerA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/PlasmeijerA05
Rinus Plasmeijer, Peter Achten:
Generic Editors for the World Wide Web. 1-34
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/KoopmanP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/KoopmanP05
Pieter W. M. Koopman, Rinus Plasmeijer:
Fully Automatic Testing with Functions as Specifications. 35-61
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/Scholz05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/Scholz05
Sven-Bodo Scholz:
Functional Array Programming in SaC. 62-99
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/Hammond05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/Hammond05
Kevin Hammond:
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach. 100-134
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/UustaluV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/UustaluV05
Tarmo Uustalu, Varmo Vene:
The Essence of Dataflow Programming. 135-167
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/TejfelHK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/TejfelHK05
Máté Tejfel, Zoltán Horváth, Tamás Kozsik:
Temporal Properties of Clean Programs Proven in Sparkle-T. 168-190
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/Kozsik05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/Kozsik05
Tamás Kozsik:
Tutorial on Subtype Marks. 191-222
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/ZsokHH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/ZsokHH05
Viktória Zsók, Zoltán Hernyák, Zoltán Horváth:
Designing Distributed Computational Skeletons in D-Clean and D-Box. 223-256

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.