| 所属 | ポートレイトなど | 名前 | 研究活動など | |
|---|---|---|---|---|
| 算譜工房 |  |
大和谷 潔 | SML＃の開発，functional development |
| 所属 | ポートレイトなど | 名前 | 研究活動など | |
|---|---|---|---|---|
| 算譜工房 | |
大和谷 潔 | SML＃の開発，functional development |
| 所属 | ポートレイトなど | 名前 | 研究活動など | |
|---|---|---|---|---|
| JAIST (D3) |  |
Nguyen Duc Huu | 型主導コンパイル，SML＃の開発 | |
| JAIST (D2) | |
Liu Bochao | モジュールシステム, SML＃の開発 | |
| JAIST （M２） | |
上野雄大 | 最適化型推論, SML＃の開発 |
