A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf
.
An Algebraic Theory of Polymorphic Temporal Media
[chapter]
2004
Lecture Notes in Computer Science
Temporal media is information that is directly consumed by a user, and that varies with time. 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. 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. The key technical result is an
doi:10.1007/978-3-540-24836-1_1
fatcat:vvihpbroh5a75pokssbhqd3mri