Par, un langage expressif, concurrent, total* avec des types linéaires et une dualité complète. Basé sur la logique linéaire et les types de session, Par possède à la fois des caractéristiques fonctionnelles et impératives s'intégrant parfaitement.