quartz-research-note/content/音楽プログラミング言語の形式化.md

14 lines
206 B
Markdown
Raw Normal View History

#programming-language #research
## 先行令
[[Faust]]
[[The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms]]
## 基礎知識
[[Coqの勉強]]