A Sound and Complete Axiomatization of Polymorphic Temporal Media

Authors:

Paul Hudak

Abstract:

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. We present a polymorphic data type
that captures a broad range of temporal media, and study its syntactic,
temporal, and semantic properties. This leads 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 axiomatic
semantics that is both sound and complete.

Bibtex:

 @Article{PTM-JLAP,
  author    = "Paul Hudak",
  title     = "A Sound and Complete Axiomatization of Polymorphic
               Temporal Media",
  journal   = "Journal of Logic and Algebraic Programming",
  publisher = "Elsevier",
  volume    = "(submitted)",
  year      = "2008"
} 

Links:

PTMPaper.pdf