Code Generation from Specifications in Higher-Order Logic
an overview of the scala programming language .