Abstract
We describe our experience teaching an advanced typed functional programming course based around the use of System Fω as a programming language.
Author supplied keywords
Cite
CITATION STYLE
APA
Yallop, J., & White, L. (2019). Lambda: The Ultimate Sublanguage (experience report). Proceedings of the ACM on Programming Languages, 3(ICFP). https://doi.org/10.1145/3342713
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free