Affiliation:
1. University of Cambridge, UK
2. Jane Street, UK
Abstract
We describe our experience teaching an advanced typed functional programming course based around the use of System Fω as a programming language.
Publisher
Association for Computing Machinery (ACM)
Subject
Safety, Risk, Reliability and Quality,Software