default search action

combined dblp search
author search
venue search
publication search

ask others

CEFP 2007: Cluj-Napoca, Romania

> 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/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/2007
Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók:
Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures. Lecture Notes in Computer Science 5161, Springer 2008, ISBN 978-3-540-88058-5
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/PlasmeijerAK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/PlasmeijerAK07
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman:
An Introduction to iTasks: Defining Interactive Work Flows for the Web. 1-40
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/MolEP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/MolEP07
Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
Proving Properties of Lazy Functional Programs with Sparkle. 41-86
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/CsornyeiD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/CsornyeiD07
Zoltán Csörnyei, Gergely Dévai:
An Introduction to the Lambda Calculus. 87-111
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/Kluge07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/Kluge07
Werner E. Kluge:
Abstract lambda-Calculus Machines. 112-157
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/SheardL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/SheardL07
Tim Sheard, Nathan Linger:
Programming in Omega. 158-227
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/Pop07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/Pop07
Horia F. Pop:
A Tutorial on Object-Oriented Functional Programming. 228-249
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/KozsikCHKKLNTV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/KozsikCHKKLNTV07
Tamás Kozsik, Zoltán Csörnyei, Zoltán Horváth, Roland Király, Róbert Kitlei, László Lövei, Tamás Nagy, Melinda Tóth, Anikó Nagyné Víg:
Use Cases for Refactoring in Erlang. 250-285
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/JansenKP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/JansenKP07
Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer:
From Interpretation to Compilation. 286-301

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.