Matsuura Tomoya Research Note

Home

❯

OCaml

OCaml

2025/01/071 min read

stub programming-language


グラフビュー

バックリンク

  • Moonbit
  • Row Polymorphism
  • The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms
  • Vult

Recent writing

  • mimiumのMIRコンパイル過程を真面目に考える

    2025/09/25

    • mimium
  • 関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム

    2025/09/25

    • paper
  • mimiumでのライブコーディングエンジン

    2025/09/25

    • mimium
    • livecoding

作成 Quartz v4.5.1 © 2025

  • Top
  • Mastodon
  • Twitter
  • GitHub