An implementation of session types

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3057, Issue , 2004, Pages 56-70

  Neubauer, Matthias ^a   Thiemann, Peter ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

Domain specific languages; Functional programming; Types

Indexed keywords

BIOMINERALIZATION; CALCULATIONS; EMBEDDINGS; PROBLEM ORIENTED LANGUAGES; XML;

CORE CALCULUS; DOMAIN SPECIFIC LANGUAGES; HASKELL; SESSION TYPES; STREAM-BASED; TRANSFER PROTOCOL; TYPES;

FUNCTIONAL PROGRAMMING;

EID: 84974707224     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24836-1_5     Document Type: Conference Paper

References (35)

1. Torben Amtoft, Flemming Nielson, and Hanne Riis Nielson. Type and Effect Systems: Behaviours for Concurrency. Imperial College Press, 1999.
2. Joe Armstrong. Getting erlang to talk to the outside world. In Proceedings of the 2002 ACM SIGPLAN workshop on Erlang, pages 64-72. ACM Press, 2002.
3. Arthur I. Baars and S. Doaitse Swierstra. Typing dynamic typing. In Peyton-Jones [24], pages 157-166.
4. Nick Benton and Andrew Kennedy. Interlanguage working without tears: Blending SML with Java. In Peter Lee, editor, Proc. International Conference on Functional Programming 1999, pages 126-137, Paris, France, September 1999. ACM Press, New York.
5. Gérard Berry and Gérard Boudol. The chemical abstract machine. Theoretical Computer Science, 96, 1992.
6. Chiyan Chen and Hongwei Xi. Meta-programming through typeful code representation. In Olin Shivers, editor, Proc. International Conference on Functional Programming 2003, pages 275-286, Uppsala, Sweden, August 2003. ACM Press, New York.
7. James Cheney and Ralf Hinze. A lightweight implementation of generics and dynamics. In Proceedings of the ACM SIGPLAN workshop on Haskell, pages 90-104. ACM Press, 2002.
8. Olivier Danvy, Morten Rhiger, and Kristoffer Rose. Normalization by evaluation with typed abstract syntax. Journal of Functional Programming, 11(6):673-680, 2001.
9. Cédric Fournet and Georges Gonthier. The reflexive CHAM and the join-calculus. In POPL 1996 [28], pages 372-385.
10. Simon Gay and Malcolm Hole. Types and subtypes for client-server interactions. In Doaitse Swierstra, editor, Proceedings of the 1999 European Symposium on Programming, number 1576 in Lecture Notes in Computer Science, pages 74-90, Amsterdam, The Netherlands, April 1999. Springer-Verlag.
11. Simon Gay, Vasco Vasconcelos, and Antonio Ravara. Session types for inter-process communication. Technical Report TR-2003-133, Department of Computing Science, University of Glasgow, 2003.
12. Alessandro Giacalone, Prateek Mishra, and Sanjiva Prasad. FACILE: A symmetric integration of concurrent and functional programming. In J. Díaz and F. Orejas, editors, TAPSOFT ’89, number 351,352 in Lecture Notes in Computer Science, pages II, 184-209, Barcelona, Spain, March 1989. Springer-Verlag.
13. Haskell 98, a non-strict, purely functional language. http://www.haskell.org/definition,December 1998.
14. Kohei Honda and Mario Tokoro. An object calculus for asynchronous communication. In Pierre America, editor, 5th European Conference on Object-Oriented Programming (ECOOP ’91), number 512 in Lecture Notes in Computer Science, pages 133-147, Geneva, Switzerland, July 1991. Springer-Verlag.
15. Kohei Honda, Vasco Thudichum Vasconcelos, and Makoto Kubo. Language primitives and type discipline for structured communication-based programming. In Chris Hankin, editor, Proc. 7th European Symposium on Programming, number 1381 in Lecture Notes in Computer Science, pages 122-138, Lisbon, Portugal, April 1998. Springer-Verlag.
16. Mark P. Jones. Type classes with functional dependencies. In Gert Smolka, editor, Proc. 9th European Symposium on Programming, number 1782 in Lecture Notes in Computer Science, pages 230-244, Berlin, Germany, March 2000. Springer-Verlag.
17. Daan Leijen and Erik Meijer. Domain-specific embedded compilers. In 2nd Conference on Domain-Specific Languages, Austin, Texas, USA, October 1999. USENIX. http://usenix.org/events/dsl99/index.html.
18. Conor McBride. Faking it-simulating dependent types in Haskell. http://www.dur.ac.uk/˜dcs1ctm/faking.ps, 2001.
19. Erik Meijer and Graham Hutton. Bananas in space: Extending fold and unfold to exponential types. In Simon Peyton Jones, editor, Proc. Functional Programming Languages and Computer Architecture 1995, pages 324-333, La Jolla, CA, June 1995. ACM Press, New York.
20. Robin Milner. Communication and Concurrency. Prentice Hall, Englewood Cliffs, NJ, 1989.
21. Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, Part I + II. Information and Control, 100(1):1-77, 1992.
22. Matthias Neubauer, Peter Thiemann, Martin Gasbichler, and Michael Sperber. A functional notation for functional dependencies. In Ralf Hinze, editor, Proceedings of the 2001 Haskell Workshop, 2001. to appear.
23. Martin Odersky and Konstantin Läufer. Putting type annotations to work. In POPL 1996 [28], pages 54-67.
24. Simon Peyton-Jones, editor. International Conference on Functional Programming, Pittsburgh, PA, USA, October 2002. ACM Press, New York.
25. Simon Peyton Jones, Andrew Gordon, and Sigbjørn Finne. Concurrent Haskell. In POPL 1996 [28], pages 295-308.
26. Simon Peyton Jones, Erik Meijer, and Daan Leijen. Scripting COM components in Haskell. In Proc. International Conference of Software Reuse, 1998.
27. Simon L. Peyton Jones. Tackling the awkward squad: Monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell. In Tony Hoare, Manfred Broy, and Ralf Steinbruggen, editors, Engineering Theories of Software Construction, pages 47-96. IOS Press, 2001.
28. Proceedings of the 1996 ACM SIGPLAN Symposium on Principles of Programming Languages, St. Petersburg, FL, USA, January 1996. ACM Press.
29. John H. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.
30. Simple mail transfer protocol. http://www.faqs.org/rfcs/rfc2821.html, April 2001.
31. Morten Rhiger. A foundation for embedded languages. ACM Transactions on Programming Languages and Systems, 25(3):291-315, 2003.
32. Alan Schmitt and Jean-Bernard Stefani. The m-calculus: a higher-order distributed process calculus. In Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 50-61. ACM Press, 2003.
33. Peter J. Stuckey and Martin Sulzmann. A theory of overloading. In Peyton-Jones [24], pages 167-178.
34. Stephanie Weirich. Type-safe cast: Functional pearl. In Philip Wadler, editor, Proc. International Conference on Functional Programming 2000, pages 58-67, Montreal, Canada, September 2000. ACM Press, New York.
35. Zhe Yang. Encoding types in ML-like languages. In Paul Hudak, editor, Proc. International Conference on Functional Programming 1998, pages 289-300, Baltimore, USA, September 1998. ACM Press, New York.