We describe our experience teaching an advanced typed functional programming course based around the use of System Fω as a programming language.

@article{paperbot611,
  title = {Lambda: the ultimate sublanguage (experience report)},
  author = {Jeremy Yallop and Leo White},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {3},
  number = {ICFP},
  year = {2019},
  doi = {10.1145/3342713}
}