Lambda: the ultimate sublanguage (experience report)
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Abstract
We describe our experience teaching an advanced typed functional programming course based around the use of System Fω as a programming language.
Description
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 and licensing
Except where otherwised noted, this item's license is described as All rights reserved