{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:26:59Z","timestamp":1725636419998},"publisher-location":"London","reference-count":21,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198796"},{"type":"electronic","value":"9781447132363"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3236-3_2","type":"book-chapter","created":{"date-parts":[[2011,11,24]],"date-time":"2011-11-24T04:23:05Z","timestamp":1322108585000},"page":"9-25","source":"Crossref","is-referenced-by-count":0,"title":["Factoring an Adequacy Proof (Preliminary Report)"],"prefix":"10.1007","author":[{"given":"Roy L.","family":"Crole","sequence":"first","affiliation":[]},{"given":"Andrew D.","family":"Gordon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Peter Nicholas Benton. Strictness Analysis of Lazy Functional Programs. PhD thesis, University of Cambridge Computer Laboratory, August 1993. Available as Technical Report 309."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"R. L. Crole. Computational adequacy for the FIX-Logic. Theoretical Computer Science. Accepted. (To appear in 1994.).","DOI":"10.1016\/0304-3975(95)90335-I"},{"key":"2_CR3","first-page":"171","volume":"98","author":"RL Crole","year":"1992","unstructured":"R. L. Crole and A. M. Pitts. New foundations for fixpoint computations: FIX hyperdoctrines and the FIX-logic. Information and Control, 98:171\u2013210, 1992. Earlier version in LICS\u201990.","journal-title":"Information and Control"},{"key":"2_CR4","unstructured":"Roy L. Crole. Programming Metalogics with a Fixpoint Type. PhD thesis, University of Cambridge Computer Laboratory, February 1992. Available as Technical Report 247."},{"key":"2_CR5","unstructured":"Andrew D. Gordon. Functional Programming and Input\/Output. PhD thesis, University of Cambridge, August 1992. To appear in Cambridge University Press\u2019 series Distinguished Dissertations in Computer Science."},{"key":"2_CR6","volume-title":"Semantics of Programming Languages: Structures and Techniques","author":"CA Gunter","year":"1992","unstructured":"Carl A. Gunter. Semantics of Programming Languages: Structures and Techniques. MIT Press, Cambridge, Mass., 1992."},{"key":"2_CR7","unstructured":"Claire Jones. Probabilistic Non-determinism. PhD thesis, University of Edinburgh, 1990. Available as Technical Report CST-63-90, Computer Science Department, University of Edinburgh."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Albert R. Meyer and Stavros S. Cosmadakis. Semantical paradigms: Notes for an invited lecture. In Proceedings of the 3rd IEEE Symposium on Logic in Computer Science, pages 236\u2013253, July 1988.","DOI":"10.21236\/ADA202995"},{"key":"2_CR9","unstructured":"Eugenio Moggi. The Partial Lambda-Calculus. PhD thesis, Department of Computer Science, University of Edinburgh, August 1988. Available as Technical report CST-53-88."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Eugenio Moggi. Computational lambda calculus and monads. In Proceedings of the 4th IEEE Symposium on Logic in Computer Science, June 1989.","DOI":"10.1109\/LICS.1989.39155"},{"key":"2_CR11","first-page":"55","volume":"93","author":"E Moggi","year":"1989","unstructured":"Eugenio Moggi. Notions of computation and monads. Theoretical Computer Science, 93:55\u201392, 1989.","journal-title":"Theoretical Computer Science"},{"key":"2_CR12","volume-title":"The International Series of Monographs in Computer Science","author":"B Nordstrom","year":"1990","unstructured":"Bengt Nordstrom, Kent Petersson, and Jan M. Smith. Programming in Martin-L\u00f6f\u2019s Type Theory, volume 7 of The International Series of Monographs in Computer Science. Clarendon Press, Oxford, 1990."},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Simon L. Peyton Jones and Philip Wadler. Imperative functional programming. In Proceedings 20th ACM Symposium on Principles of Programming Languages, Charleston, South Carolina, January 1993. ACM Press, 1993.","DOI":"10.1145\/158511.158524"},{"key":"2_CR14","unstructured":"Andrew M. Pitts. Notes on the call-by-value and call-by-name translation of the simply typed lambda-calculus into the computational lambda-calculus. Manuscript, October 1990."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Andrew M. Pitts. Evaluation logic. In G. Birtwistle, editor, IVth Higher Order Workshop, Banff 1990, Workshops in Computing, pages 162\u2013189. Springer-Verlag, 1991. Available as University of Cambridge Computer Laboratory Technical Report 198, August 1990.","DOI":"10.1007\/978-1-4471-3182-3_11"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Andrew M. Pitts. Computational adequacy via \u2018mixed\u2019 inductive definitions. In MFPS IX, New Orleans, 1993.","DOI":"10.1007\/3-540-58027-1_3"},{"key":"2_CR17","unstructured":"Gordon D. Plotkin. Denotational semantics with partial functions. Unpublished lecture notes, CSLI, Stanford University, July 1985."},{"key":"2_CR18","unstructured":"Jon G. Riecke. Fully abstract translations between functional languages. To appear in Mathematical Structures in Computer Science, December 1992."},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1017\/S0960129500001560","volume":"2","author":"P Wadler","year":"1992","unstructured":"Philip Wadler. Comprehending monads. Mathematical Structures in Computer Science, 2:461\u2013493, 1992.","journal-title":"Mathematical Structures in Computer Science"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Philip Wadler. The essence of functional programming. In Proceedings of the Nineteenth ACM Symposium on Principles of Programming Languages, 1992.","DOI":"10.1145\/143165.143169"},{"key":"2_CR21","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The Formal Semantics of Programming Languages","author":"G Winskel","year":"1993","unstructured":"Glynn Winskel. The Formal Semantics of Programming Languages. MIT Press, Cambridge, Mass., 1993."}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3236-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T19:21:58Z","timestamp":1593285718000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3236-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198796","9781447132363"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3236-3_2","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}