Par, uma linguagem expressiva, concorrente e total* com tipos lineares e dualidade completa. Baseada na Lógica Linear e Tipos de Sessão, Par possui características funcionais e imperativas que se integram perfeitamente.
55,76K