Publicação
A Module System and a Standard Library for a Session-typed Functional Language
| datacite.subject.fos | Engenharia e Tecnologia | |
| dc.contributor.advisor | Seco, João | |
| dc.contributor.advisor | Toninho, Bernardo | |
| dc.contributor.author | Bagulho, Hugo Filipe Ministro | |
| dc.date.accessioned | 2026-02-05T15:11:26Z | |
| dc.date.available | 2026-02-05T15:11:26Z | |
| dc.date.issued | 2025-05-30 | |
| dc.description.abstract | The continuous evolution of programming languages is driven by the quest for type safety, expressiveness, and modularity. Among the various paradigms, session types have emerged as a powerful abstraction for structuring communication-based programming, ensuring that interactions adhere to predefined protocols. Previous work has introduced a functional language with session-based concurrency. However, this language lacked a system for defining modules and a standard library to support development. This thesis aims to address these limitations by implementing a module system in the language, improving its modularity, maintainability, and organization. Additionally, the creation of a standard library provides reusable functionality and assists the user in building programs. In order to demonstrate the capabilities of the module system and of the standard library, a set of examples was developed. | eng |
| dc.description.abstract | A evolução contínua das linguagens de programação é impulsionada pela busca por segurança de tipo, expressividade e modularidade. Entre os vários paradigmas, os tipos de sessão surgiram como uma abstração poderosa para estruturar a programação baseada em comunicação, garantindo que as interações sigam protocolos predefinidos. Trabalhos anteriores introduziram uma linguagem funcional com concurrência baseada em sessão. No entanto, essa linguagem não tinha um sistema para definir módulos e uma biblioteca padrão para dar suporte ao desenvolvimento. Esta tese visa abordar essas limitações implementando um sistema de módulos na linguagem, melhorando sua modularidade, manutenibilidade e organização. Além disso, a criação de uma biblioteca padrão fornece funcionalidade reutilizável e auxilia o usuário na construção de programas. Para demonstrar as capacidades do sistema de módulos e da biblioteca padrão, um conjunto de exemplos foi desenvolvido. | por |
| dc.identifier.uri | http://hdl.handle.net/10362/200062 | |
| dc.language.iso | eng | |
| dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | |
| dc.subject | Modularity | |
| dc.subject | Functional Language | |
| dc.subject | Session Types | |
| dc.subject | Standard Library | |
| dc.title | A Module System and a Standard Library for a Session-typed Functional Language | eng |
| dc.type | master thesis | |
| dspace.entity.type | Publication | |
| thesis.degree.name | MASTER IN COMPUTER SCIENCE AND ENGINEERING |