Staged Computing based on Advanced Type Systems

基于高级类型系统的分级计算

• 批准号: 18H03218
• 负责人: Kameyama Yukiyoshi
• 金额: $ 8.15万
• 依托单位: University of Tsukuba
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2018
• 资助国家: 日本
• 起止时间: 2018-04-01 至 2022-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18H03218/
• 关键词: プログラム生成; 多段階計算; 型システム; 型安全性; モジュール; 計算エフェクト; 異種プログラム生成; プログラムの信頼性; 段階的計算; 先進的型システム; コントロールオペレータ; プログラム解析; 高性能計算; 依存型; 一般化代数データ型; 静的安全性; モジュール抽象; ヘテロジニアスプログラム生成; 統合言語クエリ; 多相型; スクープ安全性; 安全性

项目成果

4種類の限定継続演算子のための型システム

四种有限连续运算符的类型系统

• 发表时间: 2022
• 期刊: 第２４回プログラミングおよびプログラミング言語ワークショップ論文集
• 作者: 石尾 千晶;浅井 健一
• 通讯作者: 浅井 健一

control/prompt の仮想機械導出

控制/提示虚拟机推导

• 发表时间: 2021
• 期刊: 第２３回プログラミングおよびプログラミング言語ワークショップ論文集
• 作者: 藤井 舞花;浅井 健一
• 通讯作者: 浅井 健一

Module Generation without Regret

无悔模块生成

• DOI: 10.1145/3372884.3373160
• 发表时间: 2020
• 期刊: Proc. of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
• 作者: uhi Sato;Yukiyoshi Kameyama;Takahisa Watanabe
• 通讯作者: Takahisa Watanabe

セッション型、簡潔に

基于会话，简洁

• 发表时间: 2019
• 作者: オレッグ キセリョーヴ;今井 敬吾
• 通讯作者: 今井 敬吾

Verifying Selective CPS Transformation for Shift and Reset

验证移位和重置的选择性 CPS 转换

• DOI: 10.1007/978-3-030-47147-7_3
• 发表时间: 2020
• 期刊: Lecture Notes in Computer Science
• 作者: Chiaki Ishio;Kenichi Asai
• 通讯作者: Kenichi Asai