Filters








14 Hits in 3.9 sec

Haskore music tutorial [chapter]

Paul Hudak
1996 Lecture Notes in Computer Science  
The most basic of these transformation we treat as axioms in an algebra of music.  ...  On the theoretical side, we need a deeper investigation of the algebraic structure of music, and would like to express certain modern theories of music in Haskore.  ...  Bright Acoustic Piano",1), > ("Electric Grand Piano",2), ("Honky Tonk Piano",3), > ("Rhodes Piano",4), ("Chorused Piano",5), > ("Harpsichord",6), ("Clavinet",7), > ("Celesta",8), ("Glockenspeil",9), > ("Music  ... 
doi:10.1007/3-540-61628-4_2 fatcat:wyytbgq5izdqhcwahqaxlns2cu

MIDI programming in scheme

Kurt Nørmark
2010 Proceedings of the 7th European Lisp Workshop on - ELW '10  
The programming environment also supports a variety of interactive features -similar to MIDI sequencers -but restricted to a textual representation of the music.  ...  The main contributions of the work are considered to be (1) An accumulated MIDI function library, which can transform MIDI files in many nontrivial ways; (2) A proposed working process alternating between  ...  The Haskore work represents a theoretical approach to Music notation, which emphasizes equivalence relations between pieces of Haskore music, algebraic properties, and mathematical proofs of musical properties  ... 
doi:10.1145/1890703.1890704 fatcat:ltzygkr4n5fl7lnwivgyqrtfxm

An Algebraic Theory of Polymorphic Temporal Media [chapter]

Paul Hudak
2004 Lecture Notes in Computer Science  
We study its syntactic, temporal, and semantic properties, leading to an algebraic theory of polymorphic temporal media that is valid for underlying media types that satisfy specific constraints.  ...  Examples include music, digital sound files, computer animations, and video clips. In this paper we present a polymorphic data type that captures a broad range of temporal media.  ...  In this paper we use two running examples throughout: an abstract representation of music (analogous to our previous work on Haskore and MDL, DSLs for computer music [9, 6, 7, 8] ), and an abstract representation  ... 
doi:10.1007/978-3-540-24836-1_1 fatcat:vvihpbroh5a75pokssbhqd3mri

Un estudio de los cálculos computacionales usados en aplicaciones musicales

Gerardo M. Sarria M.
1969 Ingeniería y Competitividad  
In Hudak et al. (1996) , Paul Hudak proposed Haskore, an algebraic formalism to describe music and compositions in Haskell programming language.  ...  Block-Diagram algebra Yann Orlarey proposed the Block-Diagram Algebra in (Orlarey et al., 2002) as an algebraic approach to construct block diagram.  ... 
doi:10.25100/iyc.v15i2.2598 fatcat:zpsa3sdd3nbyfcwtflexpewunu

Live-Musikprogrammierung in Haskell [article]

Henning Thielemann
2012 arXiv   pre-print
We aim to compose algorithmic music in an interactive way with multiple participants.  ...  Our system can be used both for musical live-coding and for demonstration and education of functional programming.  ...  Whong: Haskore music notation -an algebra of music. Journal of Functional Programming, 6(3), June 1996. Literatur [5] Hughes, John: Why functional programming matters.  ... 
arXiv:1202.4269v1 fatcat:wzut6clu75ggdlrezzzbuut6ai

A functional approach to automatic melody harmonisation

Hendrik Vincent Koops, José Pedro Magalhães, W. Bas de Haas
2013 Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design - FARM '13  
Melody harmonisation is a centuries-old problem of long tradition, and a core aspect of composition in Western tonal music.  ...  In this work we describe FHARM, an automated system for melody harmonisation based on a functional model of harmony.  ...  Acknowledgments The readers of Koops (2012, upon  ... 
doi:10.1145/2505341.2505343 dblp:conf/icfp/KoopsMH13 fatcat:j2bpiz73azayjeoa2cvwyt4t64

Synchronous programming in audio processing

Karim Barkati, Pierre Jouvelot
2013 ACM Computing Surveys  
music.  ...  or practical information is readily available to help make an informed decision.  ...  There are of course multiple ways to use programming languages in music applications, from low-level audio processing to more abstract music notation manipulation processes to the higher sphere of music  ... 
doi:10.1145/2543581.2543591 fatcat:ycwgrgrmurbxtjoyjl32juys64

Functional reactive animation

Conal Elliott, Paul Hudak
1997 SIGPLAN notices  
Fran has been implemented in Hugs, yielding surprisingly good performance for an interpreter-based system.  ...  The key ideas in Fran are its notions of behaviors and events.  ...  We also wish to acknowledge funding of this project from Microsoft Research, DARPA/AFOSR under grant number F30602-96-2-0232, and NSF under grant number CCR-9633390.  ... 
doi:10.1145/258949.258973 fatcat:2qirhlibmrczljk2cbsd5k6ini

A history of Haskell

Paul Hudak, John Hughes, Simon Peyton Jones, Philip Wadler
2007 Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III  
The members of the Haskell Committee played a particularly important role, however.  ...  Here they are, with their affiliations during the lifetime of the committee, and identifying those who served as Editor for some iteration of the language: Arvind (MIT), Lennart Augustsson (Chalmers University  ...  Haskore has been used as the basis of a number of computer music projects, and is actively used for computer music composition and education.  ... 
doi:10.1145/1238844.1238856 dblp:conf/hopl/HudakHJW07 fatcat:7i7s3ivrkzhotgoyvjnxcjglxu

Functional reactive animation

Conal Elliott, Paul Hudak
1997 Proceedings of the second ACM SIGPLAN international conference on Functional programming - ICFP '97  
Fran has been implemented in Hugs, yielding surprisingly good performance for an interpreter-based system.  ...  The key ideas in Fran are its notions of behaviors and events.  ...  We also wish to acknowledge funding of this project from Microsoft Research, DARPA/AFOSR under grant number F30602-96-2-0232, and NSF under grant number CCR-9633390.  ... 
doi:10.1145/258948.258973 dblp:conf/icfp/ElliottH97 fatcat:z4czagylijehdnia426zqub6oq

An embedded modeling language approach to interactive 3D and multimedia animation

C. Elliott
1999 IEEE Transactions on Software Engineering  
We propose that this situation can be improved by a change of language, and present Fran, synthesized by complementing an existing declarative host language, Haskell, with an embedded domain-specific vocabulary  ...  Graphics programmers have to spend much of their effort bridging the gap between what an animation is and how to present it on a computer.  ...  Todd Knoblock and Jim Kajiya helped to explore the basic ideas of modeled animation. Sigbjorn Finne helped with the implementation during a summer research internship and since.  ... 
doi:10.1109/32.798320 fatcat:2nrlyq4bc5bsnpbwivaachghlm

ON SYMBOLIC REPRESENTATIONS OF MUSIC Presentato da

Carmine Cella
unpublished
Mensural notation Music, like mathematics, depends on a specialized system of notation based on symbols that encode information.  ...  Mensural notation is a clear example of the link that binds together mathematics and music: it's a new form of musical notation that enable musicians to precisely write any kind of rhythm and it's basically  ...  Future work The theory of sound-types presented in chapter 4 is still in an early stage of development and needs expansions and improvements both in the symboliclevel and in the signal-processing level  ... 
fatcat:wqkl3aywcbefzj2b7plqlrwqyi

OASIcs-OpenAccess Series in Informatics

José Leal, Ricardo Rocha, Alberto Simões, Paulo Leal, Ricardo Rocha, Alberto Simões, Daniel Cremers, Barbara Hammer, Marc Langheinrich, Dorothea Wagner
nd Symposium on Languages, Applications and Technologies SLATE'13   unpublished
Acknowledgements The authors are in debt to the anonymous Referees for their valuable comments that have clearly contribute for the progress of our proposal as well as for the improvement of the paper.  ...  Haskore [13] Haskore is a set of Haskell modules for creating, analyzing and manipulating music. Music can be made audible through various back-ends.  ...  An alternative approach is writing music using a text-based notation.  ... 
fatcat:p7h6yj4rmrdp5jbxw6qxvmjb2q

A gentle introduction to Haskell

Paul Hudak, Joseph H. Fasel
1992 SIGPLAN notices  
earlier drafts of this manuscript.  ...  Special thanks to Erik Meijer for his extensive comments on the new material added for version 1.4 of this tutorial.  ...  Of particular interest are Fran, a language of reactive animations, and Haskore, a language of computer music.  ... 
doi:10.1145/130697.130698 fatcat:qoqs7yy5vrbrdmgcrrekl4wv5i