Refactoring functional programs with ornaments

A Williams - 2020 - inria.hal.science
Ornaments provide a way to express transformations of inductive datatypes that reorganize,
specialize, and add fields to already existing datatypes. From such a transformation, we …
被引用次数：2 相关文章
[PDF] inria.fr

[PDF][PDF] Refactoring functional programs with ornaments

A Williams - 2020 - pauillac.inria.fr
Refactoring functional programs with ornaments Page 1 Université de Paris Ecole doctorale 386
– Sciences Mathématiques de Paris Centre Inria Refactoring functional programs with …

Refactoring functional programs with ornaments

A Williams - 2020 - hal.science
Ornaments provide a way to express transformations of inductive datatypes that reorganize,
specialize, and add fields to already existing datatypes. From such a transformation, we …

Refactoring functional programs with ornaments

A Williams - 2020 - theses.fr
Résumé Les ornements fournissent un moyen de définir des transformations de définitions
de types de données inductifs réorganisant, spécialisant et ajoutant des champs à des types …
[PDF] inria.fr

[PDF][PDF] Refactoring functional programs with ornaments

A Williams - 2020 - cambium.inria.fr
Refactoring functional programs with ornaments Page 1 Université de Paris Ecole doctorale 386
– Sciences Mathématiques de Paris Centre Inria Refactoring functional programs with …
[PDF] inria.fr

[PDF][PDF] Refactoring functional programs with ornaments

A Williams - 2020 - cristal.inria.fr
Refactoring functional programs with ornaments Page 1 Université de Paris Ecole doctorale 386
– Sciences Mathématiques de Paris Centre Inria Refactoring functional programs with …

Refactoring functional programs with ornaments

A Williams - 2020 - theses.hal.science
Ornaments provide a way to express transformations of inductive datatypes that reorganize,
specialize, and add fields to already existing datatypes. From such a transformation, we …
[PDF] inria.fr

[PDF][PDF] Refactoring functional programs with ornaments

A Williams - 2020 - cambium.inria.fr
Refactoring functional programs with ornaments Page 1 Université de Paris Ecole doctorale 386
– Sciences Mathématiques de Paris Centre Inria Refactoring functional programs with …