The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FDPE@ICFP"( http://dblp.L3S.de/Venues/FDPE@ICFP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/icfp

Publication years (Num. hits)
2005 (8) 2008 (10)
Publication types (Num. hits)
inproceedings(16) proceedings(2)
Venues (Conferences, Journals, ...)
FDPE@ICFP(18)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 18 publication records. Showing 18 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Frank Huch, Adam Parkin (eds.) Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008 Search on Bibsonomy FDPE@ICFP The full citation details ... 2008 DBLP  BibTeX  RDF
1Jonathan Aldrich, Robert J. Simmons, Key Shin SASyLF: an educational proof assistant for language theory. Search on Bibsonomy FDPE@ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Annette Bieniusa, Markus Degen 0001, Phillip Heidegger, Peter Thiemann 0001, 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. Search on Bibsonomy FDPE@ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Prabhakar Ragde The chilling descent: making the transition to a conventional curriculum. Search on Bibsonomy FDPE@ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter Achten Teaching functional programming with soccer-fun. Search on Bibsonomy FDPE@ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1David Wakeling A robot in every classroom: robots and functional programming across the curriculum. Search on Bibsonomy FDPE@ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ulrich Neumerkel, Markus Triska, Jan Wielemaker Declarative language extensions for prolog courses. Search on Bibsonomy FDPE@ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Fritz Ruehr Tips on teaching types and functions. Search on Bibsonomy FDPE@ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Rex L. Page, Carl Eastlund, Matthias Felleisen Functional programming and theorem proving for undergraduates: a progress report. Search on Bibsonomy FDPE@ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alley Stoughton Experimenting with formal languages using forlan. Search on Bibsonomy FDPE@ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1S. A. Curtis Word puzzles in Haskell: interactive games for functional programming exercises. Search on Bibsonomy FDPE@ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Matthias Felleisen How to design class hierarchies. Search on Bibsonomy FDPE@ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Rex L. Page Engineering software correctness. Search on Bibsonomy FDPE@ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Robby Bruce Findler, Michael Hanus, Simon Thompson (eds.) Proceedings of the 2005 workshop on Functional and Declarative Programming in Education, FDPE@ICFP 2005, Tallinn, Estonia, September 25 - 25, 2005 Search on Bibsonomy FDPE@ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jerzy Karczmarczuk Teaching of image synthesis in functional style. Search on Bibsonomy FDPE@ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Eli Barzilay, John Clements Laziness without all the hard work: combining lazy and strict languages for teaching. Search on Bibsonomy FDPE@ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Eijiro Sumii MinCaml: a simple and efficient compiler for a minimal functional language. Search on Bibsonomy FDPE@ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Rudolf Berghammer, Frank Huch From functional to object-oriented programming: a smooth transition for beginners. Search on Bibsonomy FDPE@ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #18 of 18 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license