{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T03:02:02Z","timestamp":1725678122616},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642299513"},{"type":"electronic","value":"9783642299520"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29952-0_48","type":"book-chapter","created":{"date-parts":[[2012,5,3]],"date-time":"2012-05-03T06:14:09Z","timestamp":1336025649000},"page":"509-524","source":"Crossref","is-referenced-by-count":0,"title":["Realizing Monads in Interaction Nets via Generic Typed Rules"],"prefix":"10.1007","author":[{"given":"Eugen","family":"Jiresch","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Gramlich","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"48_CR1","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1017\/S0956796800001258","volume":"5","author":"P. Achten","year":"1995","unstructured":"Achten, P., Plasmeijer, R.: The ins and outs of clean I\/O. Journal of Functional Programming\u00a05(1), 81\u2013110 (1995)","journal-title":"Journal of Functional Programming"},{"key":"48_CR2","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/j.entcs.2008.10.036","volume":"219","author":"J.B. Almeida","year":"2008","unstructured":"Almeida, J.B., Pinto, J.S., Vilaca, M.: A tool for programming with interaction nets. Electronic Notes in Theoretical Computer Science\u00a0219, 83\u201396 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"48_CR3","doi-asserted-by":"crossref","unstructured":"Andrei, O., Fern\u00e1ndez, M., Kirchner, H., Melan\u00e7on, G., Namet, O., Pinaud, B.: Porgy: Strategy-driven interactive transformation of graphs. In: Echahed, R. (ed.) TERMGRAPH. EPTCS, vol.\u00a048, pp. 54\u201368 (2011)","DOI":"10.4204\/EPTCS.48.7"},{"key":"48_CR4","doi-asserted-by":"crossref","unstructured":"de Falco, M.: An explicit framework for interaction nets. CoRR, abs\/1010.1066 (2010)","DOI":"10.2168\/LMCS-6(4:6)2010"},{"issue":"6","key":"48_CR5","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1017\/S0960129598002679","volume":"8","author":"M. Fern\u00e1ndez","year":"1998","unstructured":"Fern\u00e1ndez, M.: Type assignment and termination of interaction nets. Mathematical Structures in Computer Science\u00a08(6), 593\u2013636 (1998)","journal-title":"Mathematical Structures in Computer Science"},{"key":"48_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/3-540-61756-6_94","volume-title":"Programming Languages: Implementations, Logics, and Programs","author":"M. Fern\u00e1ndez","year":"1996","unstructured":"Fern\u00e1ndez, M., Mackie, I.: From Term Rewriting Systems to Generalized Interaction Nets. In: Kuchen, H., Swierstra, S.D. (eds.) PLILP 1996. LNCS, vol.\u00a01140, pp. 319\u2013333. Springer, Heidelberg (1996)"},{"key":"48_CR7","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez, M., Mackie, I.: Interaction nets and term rewriting systems. Theoretical Computer Science (1997)","DOI":"10.1016\/S0304-3975(97)00082-0"},{"key":"48_CR8","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez, M., Mackie, I.: Operational equivalence for interaction nets. Theoretical Computer Science\u00a0197 (2003)","DOI":"10.1016\/S0304-3975(02)00637-0"},{"key":"48_CR9","unstructured":"Fern\u00e1ndez, M., Mackie, I., Pinto, J.S.: Combining interaction nets with externally defined programs. In: Proc. Joint Conference on Declarative Programming (APPIA-GULP-PRODE 2001), \u00c9vora (2001)"},{"key":"48_CR10","unstructured":"Gay, S.J.: Interaction Nets. Master\u2019s thesis, University of Cambridge Computer Laboratory (1991)"},{"key":"48_CR11","doi-asserted-by":"publisher","first-page":"13","DOI":"10.4204\/EPTCS.21.2","volume":"21","author":"A. Hassan","year":"2010","unstructured":"Hassan, A., Jiresch, E., Sato, S.: An implementation of nested pattern matching in interaction nets. Electronic Proceedings in Theoretical Computer Science (EPTCS)\u00a021, 13\u201325 (2010)","journal-title":"Electronic Proceedings in Theoretical Computer Science (EPTCS)"},{"issue":"1","key":"48_CR12","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.entcs.2008.03.035","volume":"203","author":"A. Hassan","year":"2008","unstructured":"Hassan, A., Sato, S.: Interaction nets with nested pattern matching. Electr. Notes Theor. Comput. Sci. (ENTCS)\u00a0203(1), 79\u201392 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci. (ENTCS)"},{"key":"48_CR13","unstructured":"The inets project site, http:\/\/gna.org\/projects\/inets (accessed February 27, 2012)"},{"key":"48_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/978-3-642-15928-2_30","volume-title":"Graph Transformations","author":"E. Jiresch","year":"2010","unstructured":"Jiresch, E.: Realizing Impure Functions in Interaction Nets. In: Ehrig, H., Rensink, A., Rozenberg, G., Sch\u00fcrr, A. (eds.) ICGT 2010. LNCS, vol.\u00a06372, pp. 394\u2013396. Springer, Heidelberg (2010)"},{"key":"48_CR15","doi-asserted-by":"crossref","unstructured":"Jiresch, E.: Realizing impure functions in interaction nets. In: ECEASST, vol.\u00a038 (2011)","DOI":"10.1007\/978-3-642-15928-2_30"},{"key":"48_CR16","unstructured":"Jones, S.P., Wadler, P.: Imperative functional programming. In: ACM Symposium on Principles of Programming Languages (POPL 2002) (October 1992)"},{"key":"48_CR17","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1016\/j.jlap.2010.03.002","volume":"79","author":"F. Kircher","year":"2010","unstructured":"Kircher, F., Munoz, C.: The proof monad. Journal of Logic and Algebraic Programming\u00a079, 264\u2013277 (2010)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"48_CR18","doi-asserted-by":"crossref","unstructured":"Lafont, Y.: Interaction nets. In: Proceedings of 17th ACM Symposium on Principles of Programming Languages (POPL 1990), pp. 95\u2013108 (1990)","DOI":"10.1145\/96709.96718"},{"issue":"1","key":"48_CR19","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1006\/inco.1997.2643","volume":"137","author":"Y. Lafont","year":"1997","unstructured":"Lafont, Y.: Interaction combinators. Information and Computation\u00a0137(1), 69\u2013101 (1997)","journal-title":"Information and Computation"},{"key":"48_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/3-540-45610-4_29","volume-title":"Rewriting Techniques and Applications","author":"S. Lippi","year":"2002","unstructured":"Lippi, S.: in: A Graphical Interpreter for Interaction Nets. In: Tison, S. (ed.) RTA 2002. LNCS, vol.\u00a02378, pp. 380\u2013386. Springer, Heidelberg (2002)"},{"key":"48_CR21","doi-asserted-by":"crossref","unstructured":"Mackie, I.: YALE: yet another lambda evaluator based on interaction nets. In: International Conference on Functional Programming (ICFP 1998), pp. 117\u2013128 (1998)","DOI":"10.1145\/291251.289434"},{"key":"48_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-25979-4_11","volume-title":"Rewriting Techniques and Applications","author":"I. Mackie","year":"2004","unstructured":"Mackie, I.: Efficient \u03bb-Evaluation with Interaction Nets. In: van Oostrom, V. (ed.) RTA 2004. LNCS, vol.\u00a03091, pp. 155\u2013169. Springer, Heidelberg (2004)"},{"issue":"5","key":"48_CR23","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/j.entcs.2005.02.015","volume":"127","author":"I. Mackie","year":"2005","unstructured":"Mackie, I.: Towards a programming language for interaction nets. Electr. Notes Theor. Comput. Sci. (ENTCS)\u00a0127(5), 133\u2013151 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci. (ENTCS)"},{"key":"48_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/978-3-642-13562-0_32","volume-title":"Theory and Applications of Models of Computation","author":"I. Mackie","year":"2010","unstructured":"Mackie, I.: A Visual Model of Computation. In: Kratochv\u00edl, J., Li, A., Fiala, J., Kolman, P. (eds.) TAMC 2010. LNCS, vol.\u00a06108, pp. 350\u2013360. Springer, Heidelberg (2010)"},{"key":"48_CR25","unstructured":"Mackie, I., Pinto, J.S., Vila\u00e7a, M.: Visual programming with recursion patterns in interaction nets. In: ECEASST, vol.\u00a06 (2007)"},{"issue":"1","key":"48_CR26","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1191","unstructured":"Moggi, E.: Notions of computation and monads. Information and Computation\u00a093(1), 55\u201392 (1191)","journal-title":"Information and Computation"},{"issue":"3","key":"48_CR27","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1145\/262009.262011","volume":"29","author":"P. Wadler","year":"1997","unstructured":"Wadler, P.: How to declare an imperative. ACM Comp. Surveys\u00a029(3), 240\u2013263 (1997)","journal-title":"ACM Comp. Surveys"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Models of Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29952-0_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,14]],"date-time":"2022-01-14T19:53:11Z","timestamp":1642189991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29952-0_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642299513","9783642299520"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29952-0_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}