Couvre la mise en œuvre de combinaisons dans la programmation parallèle à Scala, y compris des méthodes de combinaison efficaces et des structures de données.
Couvre la mise en œuvre et la vérification de l'encodeur et du décodeur pour les codes sans préfixe, y compris les classes et les types, les lemmas sur les arbres, et le théorème principal.
