Selective Applicative Functors & Probabilistic Programming

Autor Armando João Isaias Ferreira dos Santos

Grau MSc

Ano 2021

Instituição UM

Towards a Quantitative Alloy

Autor Pedro Faria Durães da Silva

Grau MSc

Ano 2021

Instituição UM

Towards ‘Just Good Enough’ Quantum Programming

Autor Ana Isabel Carvalho Neri

Grau MSc

Ano 2020

Instituição UM

Rust para Sistemas Críticos

Autor André Brandão de Pinho

Grau MSc

Ano 2019

Instituição UM

Towards Quantum Program Calculation

Autor Ana Isabel Carvalho Neri

Grau MSc

Ano 2018

Instituição UM

Towards ‘Just Good Enough’ Quantum Programming

Autor Ana Isabel Carvalho Neri

Grau MSc

Ano 2018

Instituição UM

Towards ‘Just Good Enough’ Quantum Programming

Autor Ana Isabel Carvalho Neri

Grau MSc

Ano 2018

Instituição UM

Towards ‘Just Good Enough’ Quantum Programming

Autor Ana Isabel Carvalho Neri

Grau MSc

Ano 2018

Instituição UM

Pointfree Program Calculation — Theory and Applications

Autor Claudia Monica Necco

Grau MSc

Ano 2017

Instituição UM

Pointfree Program Calculation — Theory and Applications

Autor Claudia Mónica Necco

Grau MSc

Ano 2016

Instituição UM

Benchmarking de uma abordagem em álgebra linear a sistemas OLAP

Autor Rogério António da Costa Pontes

Grau MSc

Instituição UM

Automatic Rewrite Proofs by Reflection in Agda

Autor Victor Cacciari Miraldo

Grau MSc

Instituição UM