Refactoring functional programs with ornaments

Autor: Williams, Ambre

Publikováno v: Programming Languages [cs.PL]. Université de Paris, 2020. English. ⟨NNT : 2020UNIP7161⟩
Programming Languages [cs.PL]. Université Paris Cité, 2020. English. ⟨NNT : 2020UNIP7161⟩
Programming Languages [cs.PL]. Université de Paris / Université Paris Diderot (Paris 7), 2020. English

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 consider the problem of semi-automatically refactoring an already exis

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e3f082bd8dc0fd8652ca8e23a3d7cd0f
https://hal.inria.fr/tel-03126602v2/document

Brooklyn hailing Brooklyn with Lil Kim.

Publikováno v: New York Amsterdam News. 12/9/2021, p9-9. 1/3p.