Par, un linguaggio espressivo, concorrente e totale* con tipi lineari e piena dualità. Basato sulla Logica Lineare e sui Tipi di Sessione, Par ha sia caratteristiche funzionali che imperative che si integrano perfettamente.