Zobrazeno 1 - 3
of 3
pro vyhledávání: '"PientkaBrigitte"'
Publikováno v:
ACM SIGPLAN Notices. 51:351-363
Indexed data types allow us to specify and verify many interesting invariants about finite data in a general purpose programming language. In this paper we investigate the dual idea: indexed codata types, which allow us to describe data-dependencies
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::edf2a76aba1348914b492d6852702528
https://doi.org/10.1145/3022670.2951929
https://doi.org/10.1145/3022670.2951929
Autor:
M AbelAndreas, PientkaBrigitte
Publikováno v:
ACM SIGPLAN Notices. 48:185-196
In this paper, we study strong normalization of a core language based on System F-omega which supports programming with finite and infinite structures. Building on our prior work, finite data such as finite lists and trees are defined via constructor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::010aa5e7a4828bdbbb5720adaf47a98b
https://doi.org/10.1145/2544174.2500591
https://doi.org/10.1145/2544174.2500591
Autor:
PientkaBrigitte
Publikováno v:
ACM SIGPLAN Notices. 43:371-382
Higher-order abstract syntax (HOAS) is a simple, powerful technique for implementing object languages, since it directly supports common and tricky routines dealing with variables, such as capture-avoiding substitution and renaming. This is achieved
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf6321725839a35a5f41aa1be35a1b38
https://doi.org/10.1145/1328897.1328483
https://doi.org/10.1145/1328897.1328483