Par, un lenguaje expresivo, concurrente, total* con tipos lineales y dualidad total. Basado en la lógica lineal y los tipos de sesión, Par tiene características funcionales e imperativas que se integran a la perfección
55.75K