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. Informatica
Dep. Informatica
Paulo Canelas Santos (Author)
Dep. Informatica
LASIGE - LASIGE Computer Science and Engineering Research Centre
Christopher Timperley (Author)
Alcides Fonseca (Author)
Dep. Informatica
LASIGE - LASIGE Computer Science and Engineering Research Centre
LASIGE - LASIGE Computer Science and Engineering Research Centre

Scope
International

Refereeing
Yes

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 = {} }