{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:01:32Z","timestamp":1760043692132,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222538"},{"type":"electronic","value":"9783540248361"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24836-1_5","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T19:50:55Z","timestamp":1281297055000},"page":"56-70","source":"Crossref","is-referenced-by-count":30,"title":["An Implementation of Session Types"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Neubauer","sequence":"first","affiliation":[]},{"given":"Peter","family":"Thiemann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","DOI":"10.1142\/p132","volume-title":"Type and Effect Systems: Behaviours for Concurrency","author":"T. Amtoft","year":"1999","unstructured":"Amtoft, T., Nielson, F., Nielson, H.R.: Type and Effect Systems: Behaviours for Concurrency. Imperial College Press, London (1999)"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1145\/592849.592858","volume-title":"Proceedings of the 2002 ACM SIGPLAN workshop on Erlang","author":"J. Armstrong","year":"2002","unstructured":"Armstrong, J.: Getting erlang to talk to the outside world. In: Proceedings of the 2002 ACM SIGPLAN workshop on Erlang, pp. 64\u201372. ACM Press, New York (2002)"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Baars, A.I., Doaitse Swierstra, S.: Typing dynamic typing. In: Peyton-Jones [24], pp. 157\u2013166","DOI":"10.1145\/581478.581494"},{"key":"5_CR4","first-page":"126","volume-title":"Proc. International Conference on Functional Programming 1999","author":"N. Benton","year":"1999","unstructured":"Benton, N., Kennedy, A.: Interlanguage working without tears: Blending SML with Java. In: Lee, P. (ed.) Proc. International Conference on Functional Programming 1999, Paris, France, September 1999, pp. 126\u2013137. ACM Press, New York (1999)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Computer Science 96 (1992)","DOI":"10.1016\/0304-3975(92)90185-I"},{"key":"5_CR6","first-page":"275","volume-title":"Olin Shivers, editor, Proc. International Conference on Functional Programming 2003","author":"C. Chen","year":"2003","unstructured":"Chen, C., Xi, H.: Meta-programming through typeful code representation. In: Olin Shivers, editor, Proc. International Conference on Functional Programming 2003, Uppsala, Sweden, August 2003, pp. 275\u2013286. ACM Press, New York (2003)"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/581690.581698","volume-title":"Proceedings of the ACM SIGPLAN workshop on Haskell","author":"J. Cheney","year":"2002","unstructured":"Cheney, J., Hinze, R.: A lightweight implementation of generics and dynamics. In: Proceedings of the ACM SIGPLAN workshop on Haskell, pp. 90\u2013104. ACM Press, New York (2002)"},{"issue":"6","key":"5_CR8","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1017\/S0956796801004166","volume":"11","author":"O. Danvy","year":"2001","unstructured":"Danvy, O., Rhiger, M., Rose, K.: Normalization by evaluation with typed abstract syntax. Journal of Functional Programming\u00a011(6), 673\u2013680 (2001)","journal-title":"Journal of Functional Programming"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Fournet, C., Gonthier, G.: The reflexive CHAM and the join-calculus. In: POPL 1996 [28], pp. 372\u2013385","DOI":"10.1145\/237721.237805"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/3-540-49099-X_6","volume-title":"Programming Languages and Systems","author":"S. Gay","year":"1999","unstructured":"Gay, S., Hole, M.: Types and subtypes for client-server interactions. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol.\u00a01576, pp. 74\u201390. Springer, Heidelberg (1999)"},{"key":"5_CR11","unstructured":"Gay, S., Vasconcelos, V., Ravara, A.: Session types for inter-process communication. Technical Report TR-2003-133, Department of Computing Science, University of Glasgow (2003)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-50940-2_36","volume-title":"TAPSOFT \u201989. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989","author":"A. Giacalone","year":"1989","unstructured":"Giacalone, A., Mishra, P., Prasad, S.: FACILE: A symmetric integration of concurrent and functional programming. In: D\u00edaz, J., Orejas, F. (eds.) CAAP 1989 and TAPSOFT 1989. LNCS, vol.\u00a0351, pp. 184\u2013209. Springer, Heidelberg (1989)"},{"key":"5_CR13","unstructured":"Haskell 98, a non-strict, purely functional language (December 1998), http:\/\/www.haskell.org\/definition"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BFb0057019","volume-title":"ECOOP \u201991 European Conference on Object-Oriented Programming","author":"K. Honda","year":"1991","unstructured":"Honda, K., Tokoro, M.: An object calculus for asynchronous communication. In: America, P. (ed.) ECOOP 1991. LNCS, vol.\u00a0512, pp. 133\u2013147. Springer, Heidelberg (1991)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","volume-title":"Programming Languages and Systems","author":"K. Honda","year":"1998","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol.\u00a01381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/3-540-46425-5_15","volume-title":"Programming Languages and Systems","author":"M.P. Jones","year":"2000","unstructured":"Jones, M.P.: Type classes with functional dependencies. In: Smolka, G. (ed.) ESOP 2000. LNCS, vol.\u00a01782, pp. 230\u2013244. Springer, Heidelberg (2000)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Leijen, D., Meijer, E.: Domain-specific embedded compilers. In: 2nd Conference on Domain-Specific Languages, Austin, Texas, USA (October 1999), USENIX http:\/\/usenix.org\/events\/dsl99\/index.html","DOI":"10.1145\/331960.331977"},{"key":"5_CR18","unstructured":"McBride, C.: Faking it\u2014simulating dependent types in Haskell (2001), http:\/\/www.dur.ac.uk\/~dcs1ctm\/faking.ps"},{"key":"5_CR19","first-page":"324","volume-title":"Proc. Functional Programming Languages and Computer Architecture 1995","author":"E. Meijer","year":"1995","unstructured":"Meijer, E., Hutton, G.: Bananas in space: Extending fold and unfold to exponential types. In: Jones, S.P. (ed.) Proc. Functional Programming Languages and Computer Architecture 1995, La Jolla, CA, June 1995, pp. 324\u2013333. ACM Press, New York (1995)"},{"key":"5_CR20","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"issue":"1","key":"5_CR21","first-page":"1","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, Part I + II. Information and Control\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Control"},{"key":"5_CR22","unstructured":"Neubauer, M., Thiemann, P., Gasbichler, M., Sperber, M.: A functional notation for functional dependencies. In: Hinze, R. (ed.) Proceedings of the 2001 Haskell Workshop (2001) to appear"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Odersky, M., L\u00e4ufer, K.: Putting type annotations to work. In: POPL 1996 [28], pp. 54\u201367","DOI":"10.1145\/237721.237729"},{"key":"5_CR24","unstructured":"Peyton-Jones, S. (ed.) International Conference on Functional Programming, Pittsburgh, PA, USA, October 2002, ACM Press, New York (2002)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Jones, S.P., Gordon, A., Finne, S.: Concurrent Haskell. In: POPL 1996 [28], pp. 295\u2013308","DOI":"10.1145\/237721.237794"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Jones, S.P., Meijer, E., Leijen, D.: Scripting COM components in Haskell. In: Proc. International Conference of Software Reuse (1998)","DOI":"10.1109\/ICSR.1998.685747"},{"key":"5_CR27","first-page":"47","volume-title":"Engineering Theories of Software Construction","author":"S.L.P. Jones","year":"2001","unstructured":"Jones, S.L.P.: Tackling the awkward squad: Monadic input\/output, concurrency, exceptions, and foreign-language calls in Haskell. In: Hoare, T., Broy, M., Steinbruggen, R. (eds.) Engineering Theories of Software Construction, pp. 47\u201396. IOS Press, Amsterdam (2001)"},{"key":"5_CR28","unstructured":"Proceedings of the 1996 ACM SIGPLAN Symposium on Principles of Programming Languages, St. Petersburg, FL, USA, January 1996, ACM Press, New York (1996)"},{"key":"5_CR29","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511574962","volume-title":"Concurrent Programming in ML","author":"J.H. Reppy","year":"1999","unstructured":"Reppy, J.H.: Concurrent Programming in ML. Cambridge University Press, Cambridge (1999)"},{"key":"5_CR30","unstructured":"Simple mail transfer protocol (April 2001), http:\/\/www.faqs.org\/rfcs\/rfc2821.html"},{"issue":"3","key":"5_CR31","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/641909.641910","volume":"25","author":"M. Rhiger","year":"2003","unstructured":"Rhiger, M.: A foundation for embedded languages. ACM Transactions on Programming Languages and Systems\u00a025(3), 291\u2013315 (2003)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR32","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/604131.604136","volume-title":"Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"A. Schmitt","year":"2003","unstructured":"Schmitt, A., Stefani, J.-B.: The m-calculus: a higher-order distributed process calculus. In: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 50\u201361. ACM Press, New York (2003)"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Stuckey, P.J., Sulzmann, M.: A theory of overloading. In: Peyton-Jones [24], pp. 167\u2013178","DOI":"10.1145\/581478.581495"},{"key":"5_CR34","first-page":"58","volume-title":"Philip Wadler, editor, Proc. International Conference on Functional Programming 2000","author":"S. Weirich","year":"2000","unstructured":"Weirich, S.: Type-safe cast: Functional pearl. In: Philip Wadler, editor, Proc. International Conference on Functional Programming 2000, Montreal, Canada, September 2000, pp. 58\u201367. ACM Press, New York (2000)"},{"key":"5_CR35","first-page":"289","volume-title":"Paul Hudak, editor, Proc. International Conference on Functional Programming 1998","author":"Z. Yang","year":"1998","unstructured":"Yang, Z.: Encoding types in ML-like languages. In: Paul Hudak, editor, Proc. International Conference on Functional Programming 1998, Baltimore, USA, September 1998, pp. 289\u2013300. ACM Press, New York (1998)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24836-1_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T23:16:19Z","timestamp":1740352579000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24836-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222538","9783540248361"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24836-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}