摘要
补充材料
E.布雷迪。 Idris-系统编程满足完全依赖yypes的要求。 2011年第43-54页,PLPV’11。 谷歌学者 数字图书馆 M.M.T.Chakravarty、G.C.Ditu和R.Leshchinskiy。 《速溶仿制药:快速简便》,2009年。 草稿版本。 谷歌学者 D.Devriese和F.Piessens。 显式递归语法组合子-浅解析器DSL的更好模型。 在PADL'11中,第84-98页。 施普林格,2011年。 谷歌学者 数字图书馆 J.斯蒂芬·唐尼。 音乐信息检索。 《信息科学与技术年度评论》,37(1):295-3402003。 谷歌学者 交叉引用 W.B.de Haas、M.Rohrmeier、R.C.Veltkamp和F.Wiering。使用调性和声的生成语法建模和声相似性。 《第十届国际音乐信息检索会议论文集》(ISMIR’09),第549-554页,2009年。 谷歌学者 E.Lempsink、S.Leather和A.Löh。 数据类型系列的类型安全差异。 在WGP’09中,第61-72页。 ACM,2009年。 谷歌学者 数字图书馆 F.Lerdahl和R.Jackendoff。 调性音乐的生成理论。 麻省理工学院出版社,1983年。 国际标准图书编号0-262-62107-X。 谷歌学者 J.P.Magalháes和J.Jeuring。索引数据类型的通用编程。 UU-CS-2011-021技术报告,乌得勒支大学信息与计算科学系,2011年。 谷歌学者 J.P.Magalháes、S.Holdermans、J.Jeuring和A.Löh。 优化泛型很容易! 在《政治公众人物》第10卷第33-42页。 ACM,2010年。 谷歌学者 数字图书馆 C.D.Manning、P.Raghavan和H.Schütze。 信息检索导论。 剑桥大学出版社,2008年。 谷歌学者 交叉引用 J.F.芒福德。 柏拉图《理想国》的音阶。 《古典季刊》,17(3/4):125-1361923。 谷歌学者 交叉引用 U.诺雷尔。 agda中的依赖类型编程。 AFP’08,LNCS第5832卷,第230-266页。 施普林格,2009年。 谷歌学者 数字图书馆 S.Peyton Jones、D.Vytiniotis、S.Weirich和G.Washburn。 GADT的基于简单统一的类型推断。 在ICFP'06中,第50-61页。 ACM,2006年。 谷歌学者 数字图书馆 W.Piston和M.DeVoto。 和谐。 维克托·戈兰茨,1991年。 谷歌学者 H.黎曼。 Vereinfachte Harmonielehre; 接下来,Lehre von den tonelen Funktitionen der Akkorde。 奥格纳,1893年。 谷歌学者 M.Rohrmeier先生。 生成语法研究自然和声结构。 第四届声音和音乐计算会议论文集,第97-100页,2007年。 谷歌学者 M.Rohrmeier先生。 走向音调和谐的生成语法。 《数学与音乐杂志》,5(1):35-532011年。 谷歌学者 交叉引用 R.Schrijvers、S.Peyton Jones、M.M.T.Chakravarty和M.Sulzmann。 使用开放式函数进行类型检查。 在ICFP'08中,第51-62页。 ACM,2008年。 谷歌学者 数字图书馆 M.J.斯蒂德曼。 爵士乐和弦序列的生成语法。 音乐感知,2(1):52-771984。 谷歌学者 交叉引用 S.Doaitse Swierstra公司。 组合器解析:简短教程,第252-300页。 Springer-Verlag,2009年。 谷歌学者 数字图书馆
建议
音乐和声的功能建模:一份经验报告 2011年ICFP 几个世纪以来,音乐理论在作曲和表演中一直是必不可少的。 在西方调性音乐中,从早期巴洛克音乐到现代爵士乐和流行音乐,和弦在和弦序列中的作用可以用和声理论来解释。。。 和声和旋律的功能生成 FARM’14:第二届ACM SIGPLAN功能艺术、音乐、建模与设计国际研讨会会议记录 我们提出了FComp,一个自动生成和声和伴奏旋律的系统。 在之前音乐和声功能建模工作的基础上,FComp首先通过生成随机(但由用户引导)的值来创建基本和声。。。