default search action

combined dblp search
author search
venue search
publication search

ask others

FDPE@ICFP 2008: Victoria, BC, Canada

> Home > Conferences and Workshops > ICFP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/icfp/2008fdpe
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/2008fdpe
Frank Huch, Adam Parkin:
Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008. ACM 2008, ISBN 978-1-60558-068-5

Session 1

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/BieniusaDHTWGSCKK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/BieniusaDHTWGSCKK08
Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel:
Htdp and dmda in the battlefield: a case study in first-year programming instruction. 1-12
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Ragde08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Ragde08
Prabhakar Ragde:
The chilling descent: making the transition to a conventional curriculum. 13-20
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/PageEF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/PageEF08
Rex L. Page, Carl Eastlund, Matthias Felleisen:
Functional programming and theorem proving for undergraduates: a progress report. 21-30

Session 2

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/AldrichSS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/AldrichSS08
Jonathan Aldrich, Robert J. Simmons, Key Shin:
SASyLF: an educational proof assistant for language theory. 31-40
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Stoughton08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Stoughton08a
Alley Stoughton:
Experimenting with formal languages using forlan. 41-50
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Wakeling08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Wakeling08
David Wakeling:
A robot in every classroom: robots and functional programming across the curriculum. 51-60

Session 3

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Achten08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Achten08
Peter Achten:
Teaching functional programming with soccer-fun. 61-72
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/NeumerkelTW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/NeumerkelTW08
Ulrich Neumerkel, Markus Triska, Jan Wielemaker:
Declarative language extensions for prolog courses. 73-78
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Ruehr08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Ruehr08
Fritz Ruehr:
Tips on teaching types and functions. 79-90

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.