BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
User-driven design and evaluation of Liquid Types in java

Participants in the publication
Catarina Gamboa (Author)
Dep. Informática
Dep. Informática
LASIGE
Paulo Canelas Santos (Author)
Dep. Informática
LASIGE
Christopher Timperley (Author)
Alcides Fonseca (Author)
Dep. Informática
LASIGE
LASIGE

Date of Publication
2021

Event
Human Aspects of Types and Reasoning Assistants

Publication Identifiers

Edition
2021

Notes
Paper not in the proceedings at the authors request.
https://2021.splashcon.org/details/hatra-2021-papers/10/User-driven-design-and-evaluation-of-Liquid-Types-in-Java


Export

APA
Catarina Gamboa, Paulo Canelas Santos, Christopher Timperley, Alcides Fonseca, (2021). User-driven design and evaluation of Liquid Types in java. Human Aspects of Types and Reasoning Assistants, -

IEEE
Catarina Gamboa, Paulo Canelas Santos, Christopher Timperley, Alcides Fonseca, "User-driven design and evaluation of Liquid Types in java" in Human Aspects of Types and Reasoning Assistants, , 2021, pp. -, doi:

BIBTEX
@InProceedings{52931, author = {Catarina Gamboa and Paulo Canelas Santos and Christopher Timperley and Alcides Fonseca}, title = {User-driven design and evaluation of Liquid Types in java}, booktitle = {Human Aspects of Types and Reasoning Assistants}, year = 2021, pages = {-}, address = {}, publisher = {} }