Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Chiaki Ishio"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)
In their paper "A Functional Abstraction of Typed Contexts", Danvy and Filinski show how to derive a monomorphic type system of the shift and reset operators from a CPS semantics. In this paper, we show how this method scales to Felleisen's control a
Externí odkaz:
https://doaj.org/article/5f28fc0eef614b2c96faa94229bec417
Autor:
Chiaki Ishio, Kenichi Asai
The operational behavior of control operators has been studied comprehensively in the past few decades, but type systems of control operators have not. There are distinct type systems for shift, control, and shift0 without any relationship between th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::19c4bf7fdd79913a2b1028b99ced9cee
http://arxiv.org/abs/2305.02852
http://arxiv.org/abs/2305.02852
Autor:
Kenichi Asai, Chiaki Ishio
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030471460
TFP
TFP
A selective CPS transformation enables us to execute a program with delimited control operators, \(\texttt {shift}\) and \(\texttt {reset}\), in a standard functional language without support for control operators. The selective CPS transformation di
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4efcde1c631b96225a1c5df7a8bd1790
https://doi.org/10.1007/978-3-030-47147-7_3
https://doi.org/10.1007/978-3-030-47147-7_3