|
|
Venues (Conferences, Journals, ...)
|
|
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 |
1 | Frank 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 |
FDPE@ICFP |
2008 |
DBLP BibTeX RDF |
|
1 | Jonathan Aldrich, Robert J. Simmons, Key Shin |
SASyLF: an educational proof assistant for language theory. |
FDPE@ICFP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Annette 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. |
FDPE@ICFP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Prabhakar Ragde |
The chilling descent: making the transition to a conventional curriculum. |
FDPE@ICFP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter Achten |
Teaching functional programming with soccer-fun. |
FDPE@ICFP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David Wakeling |
A robot in every classroom: robots and functional programming across the curriculum. |
FDPE@ICFP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Neumerkel, Markus Triska, Jan Wielemaker |
Declarative language extensions for prolog courses. |
FDPE@ICFP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fritz Ruehr |
Tips on teaching types and functions. |
FDPE@ICFP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rex L. Page, Carl Eastlund, Matthias Felleisen |
Functional programming and theorem proving for undergraduates: a progress report. |
FDPE@ICFP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alley Stoughton |
Experimenting with formal languages using forlan. |
FDPE@ICFP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | S. A. Curtis |
Word puzzles in Haskell: interactive games for functional programming exercises. |
FDPE@ICFP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Felleisen |
How to design class hierarchies. |
FDPE@ICFP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rex L. Page |
Engineering software correctness. |
FDPE@ICFP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Robby 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 |
FDPE@ICFP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jerzy Karczmarczuk |
Teaching of image synthesis in functional style. |
FDPE@ICFP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Eli Barzilay, John Clements |
Laziness without all the hard work: combining lazy and strict languages for teaching. |
FDPE@ICFP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Eijiro Sumii |
MinCaml: a simple and efficient compiler for a minimal functional language. |
FDPE@ICFP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer, Frank Huch |
From functional to object-oriented programming: a smooth transition for beginners. |
FDPE@ICFP |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|