Browsing by Advisor Toninho, Bernardo
Showing results 1 to 7 of 7
| Issue Date | Title | Author(s) | Type | Access Type |
|---|---|---|---|---|
| Mar-2021 | Developing A Multi Application Real-Time Platform Using Cloud Serverless Technologies | Marcondes, Gabriel Adorno | masterThesis |  |
| Feb-2022 | FEATHERWEIGHT GENERIC GO WITH UNTYPED CONSTANTS, STRUCTURAL TYPE DEFINITIONS AND TYPE INFERENCE | Pereira, João Afonso Oliveira | masterThesis | |
| Nov-2022 | Making Session Types Go | Geraldo, João Miguel Pereira do Cano Rico | masterThesis | |
| Dec-2022 | Session Kotlin: A hybrid session type embedding in Kotlin | Costa, David Maria Almeida Amorim da | masterThesis | |
| Nov-2023 | Type-checking Linearity in Core: Semantic Linearity for a Lazy Optimising Compiler | Mesquita, Rodrigo Miguel Nogueira Soares Penteado | masterThesis | |
| Oct-2021 | Type-driven Synthesis of Evolving Data Models | Almeida, Sara Sá | masterThesis | |
| Jul-2020 | Upgrading decision support systems with Cloud-based environments and machine learning | Almeida, Gonçalo Vagos Morais Callé de | masterThesis | |
