Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

Publications by Sandra Alves

2024

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

Authors
Alves, S; Cockx, J;

Publication
TyDe@ICFP

Abstract

2015

Preface

Authors
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;

Publication
Electronic Proceedings in Theoretical Computer Science, EPTCS

Abstract

2018

Preface

Authors
Alves S.; Wasserman R.;

Publication
Electronic Notes in Theoretical Computer Science

Abstract

2019

Preface

Authors
Alves S.; Pagani M.;

Publication
Electronic Proceedings in Theoretical Computer Science Eptcs

Abstract

2019

Termination of lambda-calculus linearisation methods

Authors
Alves S.;

Publication
Electronic Proceedings in Theoretical Computer Science Eptcs

Abstract

2023

An Expressive Model for the Specification and Analysis of Obligations

Authors
Fernandez, M; Alves, S;

Publication

Abstract

  • 9
  • 10