Par — выразительный, параллельный, тотальный* язык с линейными типами и полной дуальностью. Основанный на линейной логике и типах сессий, Par сочетает в себе как функциональные, так и императивные особенности, интегрируясь без швов.