The lax braided structure of streaming I/O

Leibniz International Proceedings in Informatics, LIPIcs

Volumn 12, Issue , 2011, Pages 292-306

  Jeffrey, Alan ^a   Rathke, Julian ^b  

^a Bell Laboratories UK   (United Kingdom)

^b UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

Agda; Categorical models; Semantics; Streaming I O

Indexed keywords

AGDA; BRAIDED STRUCTURE; CATEGORICAL MODEL; FUNCTIONAL LANGUAGES; MONOIDAL CATEGORIES; MONOTONE FUNCTIONS; REGULAR EXPRESSIONS; SEQUENTIAL COMPOSITIONS;

COMPUTER PROGRAMMING LANGUAGES; PATTERN MATCHING; SEMANTICS; TRANSDUCERS;

COMPUTATION THEORY;

EID: 84880232603     PISSN: 18688969     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4230/LIPIcs.CSL.2011.292     Document Type: Conference Paper

References (30)

1. The Agda wiki. http://wiki.portal.chalmers.se/agda/.
2. The Coq proof assistant. http://coq.inria.fr/.
3. The Haskell programming language. http://www.haskell.org/.
4. S. Abramsky, R. Jagadeesan, and P. Malacaria. Full abstraction for PCF. Information and Computation, 163:409-470, 1996.
5. J. Baez and M. Stay. Physics, topology, logic and computation: A Rosetta Stone. In B. Coecke, editor, New Structures for Physics, volume 813 of Lecture Notes in Physics, chapter 2, pages 95-172. Springer, 2011.
6. A. Carboni and R. F. C. Walters. Cartesian bicategories I. J. Pure and Applied Algebra, 49:11-32, 1987.
7. J. R. B. Cockett and S. Lack. Restriction categories I: categories of partial maps. Theoretical Computer Science, 270(1-2):223 - 259, 2002.
8. B. Day, E. Panchadcharam, and R. Street. Lax braidings and the lax centre. In L. H. Kauffman, D. E. Radford, and F. J. O. Souza, editors, Hopf Algebras and Generalizations, volume 441 of Contemporary Mathematics, pages 1-17. AMS, 2007.
9. R. Deline and M. Fähndrich. Typestates for objects. In Proc. European Conf. Object-Oriented Programming, pages 465-490. Springer, 2004.
10. F. A. Garside. The braid group and other groups. Q. J. Mathematics, 20(1):235-254, 1969.
11. S. Gay and V. T. Vasconcelos. Linear type theory for asynchronous session types. J. Functional Programming, 20(1):19-50, 2010.
12. N. Ghani, P. Hancock, and D. Pattinson. Continuous functions on final coalgebras. In Proc. Coalgebraic Methods in Computer Science, Electronic Notes in Theoretical Computer Science, 2006.
13. N. Ghani, P. Hancock, and D. Pattinson. Continuous functions on final coalgebras. Electronic Notes in Theoretical Computer Science, 249:3-18, 2009. Proc. Mathematical Foundations of Programming Semantics.
14. J.-Y. Girard. Linear logic. Theoretical Computer Science, 50(1):1-102, 1987.
15. M. Hennessy and G. D. Plotkin. Full abstraction for a simple programming language. In Proc. Mathematical Foundations of Computer Science, number 74 in Lecture Notes in Computer Science, pages 108-120. Springer, 1979.
16. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
17. K. Honda. Types for dyadic interaction. In Proc. Int. Conf. Concurrency Theory, number 715 in Lecture Notes in Computer Science, pages 509-523. Springer, 1993.
18. J. M. E. Hyland and C.-H. Ong. On full abstraction for PCF. Information and Computation, 163:285-408, 2000.
19. A. S. A. Jeffrey. agda-system-io. https://github.com/agda/agda-system-io/ , 2010.
20. A. Joyal and R. Street. The geometry of tensor calculus I. Advances in Mathematics, 88(1):55-112, 1991.
21. A. Joyal, R. Street, and D. Verity. Traced monoidal categories. Math. Proc. Cambridge Philosophical Society, 119:447-468, 1996.
22. G. Kahn. The semantics of a simple language for parallel programming. In Proc. IFIP Congress, pages 471-475, 1974.
23. O. Kiselyov. Streams and iteratees. http://okmij.org/ftp/Streams.html.
24. M. Lothaire. Applied Combinatorics on Words, volume 105 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, 2005.
25. J. Millikin. Understanding iteratees. http://john-millikin.com/articles/ understanding-iteratees/, 2010.
26. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
27. P. Selinger. A survey of graphical languages for monoidal categories. In B. Coecke, editor, New Structures for Physics, volume 813 of Lecture Notes in Physics, chapter 4, pages 289-356. Springer, 2011.
28. D. Sitaram and M. Felleisen. Control delimiters and their hierarchies. Lisp and Symbolic Computation, 3(1):67-99, 1990.
29. R. J. van Glabbeek. The linear time - branching time spectrum. In Proc. Int. Conf. Concurrency Theory, volume 458 of Lecture Notes in Computer Science, pages 278-297. Springer, 1990.
30. D. Yetter. Quantales and (noncommutative) linear logic. Journal of Symbolic Logic, 55(1):41-64, 1990.