Found 4 Documents (Results 1–4)
A functional abstraction of typed invocation contexts. (English) Zbl 07700617
Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 12, 18 p. (2021).
A static simulation of dynamic delimited control. (English) Zbl 1128.68010
MSC:
68N01
Filter Results by …
Document Type
- Journal Articles (3)
- Collection Articles (1)
all
top 5
Author
- Asai, Kenichi (2)
- Cong, Youyou (2)
- Honda, Kaho (2)
- Ishio, Chiaki (2)
- Shan, Chung-chieh (2)
- Biernacki, Dariusz (1)
- Danvy, Olivier (1)
Serial
Main Field
- 68-XX (4)