Lambda: The Ultimate Sublanguage (experience report)
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Yallop, J
White, L
Abstract
jats:pWe describe our experience teaching an advanced typed functional programming course based around the use of System Fω as a programming language.</jats:p>
Description
Keywords
education, pedagogy, types, functional programming, lambda calculus, mental models, sublanguages
Journal Title
Proceedings of the ACM on Programming Languages
Conference Name
24th ACM SIGPLAN International Conference on Functional Programming
Journal ISSN
2475-1421
2475-1421
2475-1421
Volume Title
3
Publisher
Association for Computing Machinery (ACM)
Publisher DOI
Rights
All rights reserved