Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Fri 25 Oct 2019 16:30 - 17:00 at Room 1 - Session 3

λ calculus is a great formal introduction to functional programming. However, its abstract nature poses a challenge for many students as they struggle both with the unfamiliarity of functional programming and with the high abstraction and minimalism of λ calculus. As a result, functional programming classes are often delayed to older students who are hoped to be better prepared for appreciating its qualities, as was the case at the authors’ university as well. 3 years ago, as part of a redesigned curriculum around programming languages education, we have decided to introduce students to various programming paradigms much sooner than before. In doing so, we faced the problem of explaining very theoretical foundational concepts to very young students in a very short time. We have monitored the achievements and shortcomings of the new course over the past years and as a result of our findings have developed Lambdulus, an interactive and visual evaluator of λ calculus expressions that encourages students to explore the mechanisms of λ calculus by treating it not as a theoretical concept, but as a programming language in its own right.

Fri 25 Oct

splash-2019-SPLASH-E
16:00 - 17:30: SPLASH-E - Session 3 at Room 1
splash-2019-SPLASH-E16:00 - 16:30
Full-paper
Josh PollockUniversity of Washington, Jared RoeschUniversity of Washington, USA, Doug WoosUniversity of Washington, Zachary TatlockUniversity of Washington
splash-2019-SPLASH-E16:30 - 17:00
Full-paper
Jan SliackyFaculty of Informatics, Czech Technical University, Petr MajCzech Technical University
splash-2019-SPLASH-E17:00 - 17:30
Talk
Elisa BaniassadUniversity of British Columbia