|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 41 publication records. Showing 41 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nadine Karsten, Frederik Krogsdal Jacobsen, Kim Jana Eiken, Uwe Nestmann, Jørgen Villadsen |
ProofBuddy: A Proof Assistant for Learning and Monitoring.  |
TFPIE  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco T. Morazán |
Regular Expressions in a CS Formal Languages Course. |
TFPIE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ole Lübke, Konrad Fuger, Fin Hendrik Bahnsen, Katrin Billerbeck, Sibylle Schupp |
Computer Aided Design and Grading for an Electronic Functional Programming Exam. |
TFPIE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Machkasova (eds.) |
Proceedings Twelfth International Workshop on Trends in Functional Programming in Education, TFPIE 2023, Boston, Massachusetts, USA, 12th January 2023. |
TFPIE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Brent A. Yorgey |
Disco: A Functional Programming Language for Discrete Mathematics. |
TFPIE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco T. Morazán |
Design of Classes I. |
TFPIE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniil Berezun, Dmitry Boulytchev |
Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One. |
TFPIE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco T. Morazán |
Introduction to Functional Classes in CS1. |
TFPIE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Feeley, Olivier Melançon |
Teaching Programming to Novices Using the codeBoot Online Environment. |
TFPIE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Kappelmann, Jonas Rädle, Lukas Stevens |
Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space. |
TFPIE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederik Krogsdal Jacobsen, Jørgen Villadsen |
Teaching Functional Programmers Logic and Metatheory. |
TFPIE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Farrugia-Roberts, Bryn Jeffries, Harald Søndergaard |
Teaching Simple Constructive Proofs with Haskell Programs. |
TFPIE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Achten, Elena Machkasova (eds.) |
Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education, TFPIE 2021 / 2022, Kraków, Poland (online), 16th February 2021 / 16th March 2022. |
TFPIE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Padma Pasupathi, Christopher W. Schankula, Nicole DiVincenzo, Sarah Coker, Christopher Kumar Anand |
Teaching Interaction using State Diagrams. |
TFPIE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Figueirêdo, Yuri Kim, Le Minh Nghia, Evan Sitt, Xue Ying, Viktória Zsók |
How to Increase Interest in Studying Functional Programming via Interdisciplinary Application. |
TFPIE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jurriaan Hage (eds.) |
Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education, TFPIE 2020, Vancouver, Canada and Krakow, Poland, 11th June 2019 and 12th February 2020. |
TFPIE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco T. Morazán |
How to Design While Loops. |
TFPIE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco T. Morazán, Joshua M. Schappel, Sachin Mahashabde |
Visual Designing and Debugging of Deterministic Finite-State Machines in FSM. |
TFPIE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco T. Morazán |
Using Video Game Development to Motivate Program Design and Algebra Among Inner-City High School Students. |
TFPIE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Westphal, Janis Voigtländer |
Describing Console I/O Behavior for Testing Student Submissions in Haskell. |
TFPIE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott N. Walck |
Learn Quantum Mechanics with Haskell. |
TFPIE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Winter, Betty Love, Cindy Corritore |
The Bricklayer Ecosystem - Art, Math, and Code. |
TFPIE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Prabhakar Ragde |
Proust: A Nano Proof Assistant. |
TFPIE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezar Ionescu, Patrik Jansson |
Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming. |
TFPIE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaap Boender, Edward Currie, Martin J. Loomes, Giuseppe Primiero, Franco Raimondi |
Teaching Functional Patterns through Robotic Applications. |
TFPIE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Jeuring, Jay McCarthy (eds.) |
Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, TFPIE 2016, Sophia-Antipolis, France, and University of Maryland, College Park, MD, USA, June 2, 2015, and June 7, 2016. |
TFPIE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Olmer, Bastiaan Heeren, Johan Jeuring |
Evaluating Haskell expressions in a tutoring environment. |
TFPIE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuki Ishii, Kenichi Asai |
Report on a User Test and Extension of a Type Debugger for Novice Programmers. |
TFPIE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco T. Morazán, Rosario Antunez |
Functional Automata - Formal Languages for Computer Science Students. |
TFPIE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott N. Walck |
Learn Physics by Programming in Haskell. |
TFPIE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Winter |
Bricklayer: An Authentic Introduction to the Functional Programming Language SML. |
TFPIE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Prabhakar Ragde |
Simple Balanced Binary Search Trees. |
TFPIE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | James L. Caldwell, Philip K. F. Hölzenspies, Peter Achten (eds.) |
Proceedings 3rd International Workshop on Trends in Functional Programming in Education, TFPIE 2014, Soesterberg, The Netherlands, 25th May 2014. |
TFPIE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip K. F. Hölzenspies (eds.) |
Proceedings Second Workshop on Trends in Functional Programming In Education, TFPIE 2013, Provo, Utah, USA, 13th May 2013. |
TFPIE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | James L. Caldwell |
Structural Induction Principles for Functional Programmers. |
TFPIE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Tobin-Hochstadt, David Van Horn |
From Principles to Practice with Class in the First Year. |
TFPIE |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | John T. O'Donnell |
Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language |
TFPIE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Prabhakar Ragde |
Mathematics Is Imprecise |
TFPIE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rex L. Page, Ruben Gamboa |
How Computers Work: Computational Thinking for Everyone |
TFPIE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco T. Morazán, Peter Achten (eds.) |
Proceedings First International Workshop on Trends in Functional Programming in Education, TFPIE 2012, University of St. Andrews, Scotland, UK, 11th June 2012. |
TFPIE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jurriën Stutterheim, Wouter Swierstra, S. Doaitse Swierstra |
Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht |
TFPIE |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #41 of 41 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license