Publicacoes - INESC TEC

Publicações

Publicações por Sandra Alves

2024

Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2024, Milan, Italy, 6 September 2024

Autores
Alves, S; Cockx, J;

Publicação
TyDe@ICFP

Abstract

2015

Preface

Autores
Alves, S; Cervesato, I; Chaudhuri, K; Fernández, M; Florido, M; Gay, S; Martini, S; Paolini, L; Della Rocca, SR; Schürmann, C; Simmons, R; Vasconcelos, V;

Publicação
Electronic Proceedings in Theoretical Computer Science, EPTCS

Abstract

2018

Preface

Autores
Alves S.; Wasserman R.;

Publicação
Electronic Notes in Theoretical Computer Science

Abstract

2019

Preface

Autores
Alves S.; Pagani M.;

Publicação
Electronic Proceedings in Theoretical Computer Science Eptcs

Abstract

2019

Termination of lambda-calculus linearisation methods

Autores
Alves S.;

Publicação
Electronic Proceedings in Theoretical Computer Science Eptcs

Abstract

2023

An Expressive Model for the Specification and Analysis of Obligations

Autores
Fernandez, M; Alves, S;

Publicação

Abstract