{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:19:37Z","timestamp":1742617177144,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578871"},{"type":"electronic","value":"9783540483830"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57887-0_96","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:37:34Z","timestamp":1330263454000},"page":"179-202","source":"Crossref","is-referenced-by-count":2,"title":["A purely functional language with encapsulated assignment"],"prefix":"10.1007","author":[{"given":"Masahiko","family":"Sato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Cardelli, L., Curien, P.-L. and Levy, J.-J., Explicit Substitutions, pp. 31\u201346, in Proc. 17th Annual ACM Symposium on Principles of Programming Languages, 1990.","DOI":"10.1145\/96709.96712"},{"key":"10_CR2","volume-title":"The Lambda Calculus: Its Syntax and Semantics","author":"H. Barendregt","year":"1981","unstructured":"Barendregt, H., The Lambda Calculus: Its Syntax and Semantics, North-Holland, Amsterdam, New York, Oxford, 1981."},{"key":"10_CR3","volume-title":"Implementing Mathematics with the NuPRL Proof Development System","author":"R.L. Constable","year":"1986","unstructured":"Constable, R.L. et. al., Implementing Mathematics with the NuPRL Proof Development System, Prentice-Hall, Englewood Cliffs, NJ, 1986."},{"key":"10_CR4","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0304-3975(89)90069-8","volume":"69","author":"M. Felleisen","year":"1989","unstructured":"Felleisen, M. and Friedman, D.P., A syntactic theory of sequential state, Theoret. Comp. Sci., 69, pp. 243\u2013287, 1989.","journal-title":"Theoret. Comp. Sci."},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0304-3975(92)90014-7","volume":"103","author":"M. Felleisen","year":"1992","unstructured":"Felleisen, M. and Hieb, R., The revised report on the syntactic theories of sequential control and state, Theoret. Comp. Sci., 103, pp. 235\u2013271, 1992.","journal-title":"Theoret. Comp. Sci."},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Guzm\u00e1n, J.C. and Hudak, P., Single-threaded polymorphic calculus, pp. 333\u2013343 in Proc. 5th Annual IEEE Symposium on Logic in Computer Science, 1990.","DOI":"10.1109\/LICS.1990.113759"},{"key":"10_CR7","volume-title":"PX: A Computational Logic","author":"S. Hayashi","year":"1988","unstructured":"Hayashi, S. and Nakano, H., PX: A Computational Logic, The MIT Press, Massachusetts, 1988."},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R., An axiomatic basis for computer programming, Comm. ACM, 12, pp. 576\u2013580, 1969.","journal-title":"Comm. ACM"},{"key":"10_CR9","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF00289504","volume":"2","author":"C.A.R. Hoare","year":"1972","unstructured":"Hoare, C.A.R. and Wirth, N., An axiomatic definition of the programming language Pascal, Acta Informatica, 2, pp. 335\u2013355, 1972.","journal-title":"Acta Informatica"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Honsell, F., Mason, I.A., Smith, S. and Talcott, C., A variable typed logic of effects, Information and Computation, to appear.","DOI":"10.1006\/inco.1995.1077"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Jouvelot, P. and Gifford, D.K., Algebraic reconstruction of types and effects, pp. 303\u2013310 in 18th Annual ACM Symposium on Principles of Programming Languages, 1991.","DOI":"10.1145\/99583.99623"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Lucassen, J.M. and Gifford, D.K., Polymorphic effect systems, pp. 47\u201357 in Proc. 15th ACM Symposium on Principles of Programming Languages.","DOI":"10.1145\/73560.73564"},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0304-3975(92)90301-U","volume":"105","author":"I.A. Mason","year":"1992","unstructured":"Mason, I.A. and Talcott, C., Inferring the equivalence of functional programs that mutate data, Theoret. Comp. Science, 105, pp. 167\u2013215, 1992.","journal-title":"Theoret. Comp. Science"},{"key":"10_CR14","volume-title":"Programming in Martin-L\u00f6f's Type Theory","author":"B. Nordstr\u00f6m","year":"1990","unstructured":"Nordstr\u00f6m, B., Petersson, K. and Smith, J.M., Programming in Martin-L\u00f6f's Type Theory, Clarendon Press, Oxford, 1990."},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Sato, M., Adding proof objects and inductive definition mechanisms to Frege structures, pp. 53\u201387 in Theoretical Aspects of Computer Software, Lect. Notes in Comp. Sci. 526, Ito, T. and Meyer, A.R. (eds.), Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54415-1_41"},{"key":"10_CR16","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/S0747-7171(89)80045-8","volume":"7","author":"M. Takahashi","year":"1989","unstructured":"Takahashi, M., Parallel Reductions in \u03bb-calculus, J. Symbolic Computation, 7, pp. 113\u2013123, 1989.","journal-title":"J. Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computer Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57887-0_96.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:16:04Z","timestamp":1742595364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57887-0_96"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578871","9783540483830"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-57887-0_96","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}