Saltar para:
Logótipo
Você está em: Início > Publicações > Visualização > Contract Checking For Lazy Functional Languages
Mapa das Instalações
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática

Contract Checking For Lazy Functional Languages

Título
Contract Checking For Lazy Functional Languages
Tipo
Tese
Ano
2018-09-07
Autores
Rui Jorge Santos Andrade
(Autor)
FCUP
Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Sem AUTHENTICUS Sem ORCID
Classificação Científica
FOS: Ciências exactas e naturais
Outras Informações
Idioma: Inglês
Documentos
Nome do Ficheiro Descrição Tamanho
thesis_final Contract Checking For Lazy Functional Languages 661.98 KB
Recomendar Página Voltar ao Topo
Copyright 1996-2022 © Faculdade de Ciências da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Última actualização: 2016-03-23 I  Página gerada em: 2022-11-30 às 23:09:17 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias