Repository logo
 

Lambda: The Ultimate Sublanguage (experience report)

Accepted version
Peer-reviewed

Type

Conference Object

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

Volume Title

3

Publisher

Association for Computing Machinery (ACM)

Rights

All rights reserved