Selective Applicative Functors & Probabilistic Programming

Author Armando João Isaias Ferreira dos Santos

Degree MSc

Year 2021

Institution UM

Towards a Quantitative Alloy

Author Pedro Faria Durães da Silva

Degree MSc

Year 2021

Institution UM

Towards ‘Just Good Enough’ Quantum Programming

Author Ana Isabel Carvalho Neri

Degree MSc

Year 2020

Institution UM

Rust para Sistemas Críticos

Author André Brandão de Pinho

Degree MSc

Year 2019

Institution UM

Towards Quantum Program Calculation

Author Ana Isabel Carvalho Neri

Degree MSc

Year 2018

Institution UM

Towards ‘Just Good Enough’ Quantum Programming

Author Ana Isabel Carvalho Neri

Degree MSc

Year 2018

Institution UM

Towards ‘Just Good Enough’ Quantum Programming

Author Ana Isabel Carvalho Neri

Degree MSc

Year 2018

Institution UM

Towards ‘Just Good Enough’ Quantum Programming

Author Ana Isabel Carvalho Neri

Degree MSc

Year 2018

Institution UM

Pointfree Program Calculation — Theory and Applications

Author Claudia Monica Necco

Degree MSc

Year 2017

Institution UM

Pointfree Program Calculation — Theory and Applications

Author Claudia Mónica Necco

Degree MSc

Year 2016

Institution UM

Benchmarking de uma abordagem em álgebra linear a sistemas OLAP

Author Rogério António da Costa Pontes

Degree MSc

Institution UM

Automatic Rewrite Proofs by Reflection in Agda

Author Victor Cacciari Miraldo

Degree MSc

Institution UM