Couvre la mise en œuvre de fonctions récursives à l'aide de substitutions et d'environnements, montrant la capacité d'exécuter des fonctions calculables.
Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.
Explore les défis liés au sous-typage, aux génériques, aux limites de type, à la variance, à la covariance et à la saisie matricielle en Java et Scala.
