Par, un lenguaje expresivo, concurrente y total* con tipos lineales y plena dualidad. Basado en la Lógica Lineal y los Tipos de Sesión, Par tiene características tanto funcionales como imperativas que se integran sin problemas.