ACM SIGPLAN Intl. Conf. on OO Programming, Systems, Langs., and Apps., OOPSLA 2014


Article Details
Title: Rate types for stream programs
Article URLs:
Alternative Article URLs: https://search.proquest.com/openview/29438ede87d9b690949d2da0ab426909/1?pq-origsite=gscholar&cbl=18750&diss=y
Authors: Thomas Bartenstein
  • SUNY Binghamton, Computer Science
Yu David Liu
  • SUNY Binghamton, Computer Science
Sharing: Other
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1054515
DBLP Key: conf/oopsla/BartensteinL14
Author Comments: Artifacts are available from the author, but have not been made public at this time. The full research, including all proofs is available as part of the dissertation cited as an "alternate" version of the paper.

Discuss this paper and its artifacts below