Listar Tesinas Ciencia de la Computación por autor "Haggstrom, Gabriel de Souza"
Mostrando ítems 1-1 de 1
-
Projeto e prototipação de uma variação do cálculo-lambda com tipos de sessão
Haggstrom, Gabriel de Souza (2021) [Tesinas de grado]Os tipos de sessão são uma extensão de linguagens de programação que permite verificar, em nível de sistema de tipos, se uma comunicação por troca de mensagens entre pro cessos concorrentes respeita um determinado protocolo. ...