- Liquid - A calculus for asynchronous programming.
- Liquid: A typed tiny functional language.
- core Liquid: An intermediate language compiled from Liquid.
As for details, refer to the #Papers.
WIP
- Liquid: 非同期一階関数による並行計算体系, 情報処理学会第80回全国大会, March 2018.
- others (already submitted for publication)