research-article

An efficient implementation of tiled polymorphic temporal media

Author:

Simon ArchipoffAuthors Info & Claims

FARM 2015: Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design

Pages 25 - 34

https://doi.org/10.1145/2808083.2808089

Published: 30 August 2015 Publication History

Get Access

Abstract

Tiled Polymorphic Temporal Media (TPTM) are a convenient way to describe, compose and encode multimedia streams. This paper presents a TPTM encoding that allows simple and efficient implementation of both composition and rendering. In particular, an on-the-fly rendering procedure is provided in order to handle infinite (lazy) TPTM.

References

[1]

T. Bazin and D. Janin. Flux média tuilés polymorphes: une sémantique opérationnelle en Haskell. 2015.

Google Scholar

[2]

P. Hudak. An algebraic theory of polymorphic temporal media. In Proceedings of PADL’04: 6th International Workshop on Practical Aspects of Declarative Languages, pages 1–15, 2004.

Crossref

Google Scholar

[3]

P. Hudak. The Haskell School of Music : From signals to Symphonies. Yale University, Department of Computer Science, 2013.

Google Scholar

[4]

P. Hudak and D. Janin. Tiled polymorphic temporal media. In ACM Workshop on Functional Art, Music, Modeling and Design (FARM), pages 49–60. ACM Press, 2014.

Digital Library

Google Scholar

[5]

P. Hudak and D. Janin. From out-of-time design to in-time production of temporal media. Technical report, LaBRI, Université de Bordeaux, 2015.

Google Scholar

[6]

P. Hudak, T. Makucevich, S. Gadde, and B. Whong. Haskore music notation – an algebra of music. Journal of Functional Programming, 6 (3):465–483, May 1996.

Crossref

Google Scholar

[7]

D. D. Sleator and R. E. Tarjan. Self adjusting heaps. SIAM J. Comput., 15(1).

Digital Library

Google Scholar

Cited By

View all

Apfelmus HQuick DWinograd-Cort D(2019)Demo: functors and musicProceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design10.1145/3331543.3342582(52-55)Online publication date: 23-Aug-2019
https://dl.acm.org/doi/10.1145/3331543.3342582
Archipoff SJanin DJanin DSperber M(2016)Structured reactive programming with polymorphic temporal tilesProceedings of the 4th International Workshop on Functional Art, Music, Modelling, and Design10.1145/2975980.2975984(29-40)Online publication date: 10-Sep-2016
https://dl.acm.org/doi/10.1145/2975980.2975984

Index Terms

An efficient implementation of tiled polymorphic temporal media
1. Human-centered computing
  1. Collaborative and social computing

Recommendations

Structured reactive programming with polymorphic temporal tiles
FARM 2016: Proceedings of the 4th International Workshop on Functional Art, Music, Modelling, and Design

In functional reactive programming (FRP), system inputs and outputs are generally modeled as functions over continuous time (behaviors) whose future values are governed by sudden changes (events). In this approach, discrete events are embedded into ...
Tiled polymorphic temporal media
FARM '14: Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design

Tiled Polymorphic Temporal Media (tiled PTM) is an algebraic approach to specifying the composition of multimedia values having an inherent temporal quality -- for example sound clips, musical scores, computer animations, and video clips. Mathematically,...
Polymorphic lambda calculus with context-free session types
Abstract
Session types provide a typing discipline for structured communication on bidirectional channels. Context-free session types overcome the restriction to tail recursive protocols characteristic of conventional session types. This ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

FARM 2015: Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design

August 2015

34 pages

ISBN:9781450338066

DOI:10.1145/2808083

Program Chairs:
Henrik Nilsson,
David Janin

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 30 August 2015

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICFP'15

Sponsor:

SIGPLAN

ICFP'15: 20th ACM SIGPLAN International Conference on Functional Programming

September 5, 2015

BC, Vancouver, Canada

Acceptance Rates

Overall Acceptance Rate 19 of 23 submissions, 83%

Upcoming Conference

ICFP '25

Sponsor:
sigplan

ACM SIGPLAN International Conference on Functional Programming

October 12 - 18, 2025

Singapore , Singapore

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
44
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 23 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Apfelmus HQuick DWinograd-Cort D(2019)Demo: functors and musicProceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design10.1145/3331543.3342582(52-55)Online publication date: 23-Aug-2019
https://dl.acm.org/doi/10.1145/3331543.3342582
Archipoff SJanin DJanin DSperber M(2016)Structured reactive programming with polymorphic temporal tilesProceedings of the 4th International Workshop on Functional Art, Music, Modelling, and Design10.1145/2975980.2975984(29-40)Online publication date: 10-Sep-2016
https://dl.acm.org/doi/10.1145/2975980.2975984

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Structured reactive programming with polymorphic temporal tiles

Tiled polymorphic temporal media

Polymorphic lambda calculus with context-free session types