BIBLIOS

  Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Artigos em Conferência

Tipo de Documento
Artigo Completo

Título
User-driven design and evaluation of Liquid Types in java

Participantes na publicação
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

Data de Publicação
2021

Evento
Human Aspects of Types and Reasoning Assistants

Identificadores da Publicação

Edição
2021

Anotações
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


Exportar referência

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