|
|
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDPE@ICFP ![ACM, 978-1-60558-068-5 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Jonathan Aldrich, Robert J. Simmons, Key Shin |
SASyLF: an educational proof assistant for language theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDPE@ICFP ![In: Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008, pp. 31-40, 2008, ACM, 978-1-60558-068-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDPE@ICFP ![In: Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008, pp. 1-12, 2008, ACM, 978-1-60558-068-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Prabhakar Ragde |
The chilling descent: making the transition to a conventional curriculum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDPE@ICFP ![In: Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008, pp. 13-20, 2008, ACM, 978-1-60558-068-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter Achten |
Teaching functional programming with soccer-fun. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDPE@ICFP ![In: Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008, pp. 61-72, 2008, ACM, 978-1-60558-068-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David Wakeling |
A robot in every classroom: robots and functional programming across the curriculum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDPE@ICFP ![In: Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008, pp. 51-60, 2008, ACM, 978-1-60558-068-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Neumerkel, Markus Triska, Jan Wielemaker |
Declarative language extensions for prolog courses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDPE@ICFP ![In: Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008, pp. 73-78, 2008, ACM, 978-1-60558-068-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fritz Ruehr |
Tips on teaching types and functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDPE@ICFP ![In: Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008, pp. 79-90, 2008, ACM, 978-1-60558-068-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rex L. Page, Carl Eastlund, Matthias Felleisen |
Functional programming and theorem proving for undergraduates: a progress report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDPE@ICFP ![In: Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008, pp. 21-30, 2008, ACM, 978-1-60558-068-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alley Stoughton |
Experimenting with formal languages using forlan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDPE@ICFP ![In: Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008, pp. 41-50, 2008, ACM, 978-1-60558-068-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | S. A. Curtis |
Word puzzles in Haskell: interactive games for functional programming exercises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDPE@ICFP ![In: Proceedings of the 2005 workshop on Functional and Declarative Programming in Education, FDPE@ICFP 2005, Tallinn, Estonia, September 25 - 25, 2005, pp. 15-18, 2005, ACM, 1-59593-067-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Felleisen |
How to design class hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDPE@ICFP ![In: Proceedings of the 2005 workshop on Functional and Declarative Programming in Education, FDPE@ICFP 2005, Tallinn, Estonia, September 25 - 25, 2005, pp. 1, 2005, ACM, 1-59593-067-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rex L. Page |
Engineering software correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDPE@ICFP ![In: Proceedings of the 2005 workshop on Functional and Declarative Programming in Education, FDPE@ICFP 2005, Tallinn, Estonia, September 25 - 25, 2005, pp. 39-46, 2005, ACM, 1-59593-067-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDPE@ICFP ![ACM, 1-59593-067-1 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jerzy Karczmarczuk |
Teaching of image synthesis in functional style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDPE@ICFP ![In: Proceedings of the 2005 workshop on Functional and Declarative Programming in Education, FDPE@ICFP 2005, Tallinn, Estonia, September 25 - 25, 2005, pp. 19-26, 2005, ACM, 1-59593-067-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Eli Barzilay, John Clements |
Laziness without all the hard work: combining lazy and strict languages for teaching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDPE@ICFP ![In: Proceedings of the 2005 workshop on Functional and Declarative Programming in Education, FDPE@ICFP 2005, Tallinn, Estonia, September 25 - 25, 2005, pp. 9-13, 2005, ACM, 1-59593-067-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Eijiro Sumii |
MinCaml: a simple and efficient compiler for a minimal functional language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDPE@ICFP ![In: Proceedings of the 2005 workshop on Functional and Declarative Programming in Education, FDPE@ICFP 2005, Tallinn, Estonia, September 25 - 25, 2005, pp. 27-38, 2005, ACM, 1-59593-067-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer, Frank Huch |
From functional to object-oriented programming: a smooth transition for beginners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDPE@ICFP ![In: Proceedings of the 2005 workshop on Functional and Declarative Programming in Education, FDPE@ICFP 2005, Tallinn, Estonia, September 25 - 25, 2005, pp. 3-8, 2005, ACM, 1-59593-067-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|