Par, ekspresyjny, współbieżny, całkowity* język z liniowymi typami i pełną dualnością. Opierając się na logice liniowej i typach sesyjnych, Par ma zarówno funkcjonalne, jak i imperatywne cechy, które integrują się w sposób płynny.