Realizing massively parallel functional programming language by integrating parallel technologies into SML#, an ML-style functional language

将并行技术集成到SML中，实现大规模并行函数式编程语言

• 批准号: 18K11233
• 负责人: Ohori Atsushi
• 金额: $ 2.75万
• 依托单位: Tohoku University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2018
• 资助国家: 日本
• 起止时间: 2018-04-01 至 2023-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18K11233/
• 关键词: 関数型プログラミング言語; コンパイラ; SML#; 並行並列GC; マルチコアCPU; 軽量スレッド; 超並列技術; 関数型言語; 並列並行ゴミ集め（GC）; 超並列処理; 型主導コンパイル; 動的型付け機構; SML#言語; 高信頼言語; プログラミング言語

项目成果

SML#で始める実践MLプログラミング

从 SML 开始实用的 ML 编程

• 发表时间: 2021
• 作者: Kurasaki;Tanaka;Sugisaki;Matsuda;Koretomo;Magari;Furuta;Kimura;大堀淳，上野雄大
• 通讯作者: 大堀淳，上野雄大

SML#プロジェクト

SML项目

関数型言語SML#のためのコードレベルデバッグ環境の実現方式

如何实现函数式语言SML的代码级调试环境

• 发表时间: 2018
• 期刊: 情報処理学会論文誌プログラミング（PRO）
• 作者: 大野一樹;上野雄大;大堀淳
• 通讯作者: 大堀淳

外部データの解釈を文脈ごとに与える動的型付け機構

动态类型机制，提供外部数据的上下文特定解释

• 发表时间: 2020
• 作者: 松田 時宜;梅田 鉄馬;加藤 雄太;西本 大貴;杉崎 澄生;古田 守;木村 睦;大堀淳，上野雄大，高城光平
• 通讯作者: 大堀淳，上野雄大，高城光平

ML系言語とストリーミングデータベースの統合

ML语言与流数据库的集成

• 发表时间: 2018
• 作者: 高城光平;上野雄大;大堀淳
• 通讯作者: 大堀淳