Export Ready — 

Type inference for GADTs, outsidein and anti-unification

Bibliographic Details
Main Author: Ribeiro R.
Publication Date: 2018
Other Authors: Moreira, Gabriela, Vasconcellos, Cristiano Damiani
Format: Conference object
Language: eng
Source: Repositório Institucional da Udesc
Download full: https://repositorio.udesc.br/handle/UDESC/6119
Summary: © 2018 ACM.Support for generalized algebraic data types (GADT) in extensions of Haskell allows functions defined over GADTs to be written without the need for type annotations in some cases, but it requires type annotations in most of them. This paper presents a type inference algorithm for GADTs that extends OutsideIn algorithm using anti-unification to capture the relationship between the types of arguments and result of GADT functions. This approach allows inference in cases where the relationship between types of pattern matches is explicit in the code, allowing the type annotation in cases where the relationship is not explicit.
id UDESC-2_8ca742e553f8ac3ac134e125250cdac5
oai_identifier_str oai:repositorio.udesc.br:UDESC/6119
network_acronym_str UDESC-2
network_name_str Repositório Institucional da Udesc
repository_id_str 6391
spelling Type inference for GADTs, outsidein and anti-unification© 2018 ACM.Support for generalized algebraic data types (GADT) in extensions of Haskell allows functions defined over GADTs to be written without the need for type annotations in some cases, but it requires type annotations in most of them. This paper presents a type inference algorithm for GADTs that extends OutsideIn algorithm using anti-unification to capture the relationship between the types of arguments and result of GADT functions. This approach allows inference in cases where the relationship between types of pattern matches is explicit in the code, allowing the type annotation in cases where the relationship is not explicit.2024-12-06T12:47:44Z2018info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/conferenceObjectp. 51 - 5810.1145/3264637.3264644https://repositorio.udesc.br/handle/UDESC/6119ACM International Conference Proceeding SeriesRibeiro R.Moreira, GabrielaVasconcellos, Cristiano Damianiengreponame:Repositório Institucional da Udescinstname:Universidade do Estado de Santa Catarina (UDESC)instacron:UDESCinfo:eu-repo/semantics/openAccess2024-12-07T20:49:49Zoai:repositorio.udesc.br:UDESC/6119Biblioteca Digital de Teses e Dissertaçõeshttps://pergamumweb.udesc.br/biblioteca/index.phpPRIhttps://repositorio-api.udesc.br/server/oai/requestri@udesc.bropendoar:63912024-12-07T20:49:49Repositório Institucional da Udesc - Universidade do Estado de Santa Catarina (UDESC)false
dc.title.none.fl_str_mv Type inference for GADTs, outsidein and anti-unification
title Type inference for GADTs, outsidein and anti-unification
spellingShingle Type inference for GADTs, outsidein and anti-unification
Ribeiro R.
title_short Type inference for GADTs, outsidein and anti-unification
title_full Type inference for GADTs, outsidein and anti-unification
title_fullStr Type inference for GADTs, outsidein and anti-unification
title_full_unstemmed Type inference for GADTs, outsidein and anti-unification
title_sort Type inference for GADTs, outsidein and anti-unification
author Ribeiro R.
author_facet Ribeiro R.
Moreira, Gabriela
Vasconcellos, Cristiano Damiani
author_role author
author2 Moreira, Gabriela
Vasconcellos, Cristiano Damiani
author2_role author
author
dc.contributor.author.fl_str_mv Ribeiro R.
Moreira, Gabriela
Vasconcellos, Cristiano Damiani
description © 2018 ACM.Support for generalized algebraic data types (GADT) in extensions of Haskell allows functions defined over GADTs to be written without the need for type annotations in some cases, but it requires type annotations in most of them. This paper presents a type inference algorithm for GADTs that extends OutsideIn algorithm using anti-unification to capture the relationship between the types of arguments and result of GADT functions. This approach allows inference in cases where the relationship between types of pattern matches is explicit in the code, allowing the type annotation in cases where the relationship is not explicit.
publishDate 2018
dc.date.none.fl_str_mv 2018
2024-12-06T12:47:44Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/conferenceObject
format conferenceObject
status_str publishedVersion
dc.identifier.uri.fl_str_mv 10.1145/3264637.3264644
https://repositorio.udesc.br/handle/UDESC/6119
identifier_str_mv 10.1145/3264637.3264644
url https://repositorio.udesc.br/handle/UDESC/6119
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv ACM International Conference Proceeding Series
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv p. 51 - 58
dc.source.none.fl_str_mv reponame:Repositório Institucional da Udesc
instname:Universidade do Estado de Santa Catarina (UDESC)
instacron:UDESC
instname_str Universidade do Estado de Santa Catarina (UDESC)
instacron_str UDESC
institution UDESC
reponame_str Repositório Institucional da Udesc
collection Repositório Institucional da Udesc
repository.name.fl_str_mv Repositório Institucional da Udesc - Universidade do Estado de Santa Catarina (UDESC)
repository.mail.fl_str_mv ri@udesc.br
_version_ 1848168416686374912

Similar Items