{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:41Z","timestamp":1725456041371},"publisher-location":"Berlin\/Heidelberg","reference-count":22,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354051662X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0018347","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T02:50:09Z","timestamp":1132627809000},"page":"101-117","source":"Crossref","is-referenced-by-count":7,"title":["A category-theoretic account of program modules"],"prefix":"10.1007","author":[{"given":"Eugenio","family":"Moggi","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"J. Benabou. Fibred categories and the foundation of naive category theory. Journal of Symbolic Logic, 50, 1985.","DOI":"10.2307\/2273784"},{"key":"7_CR2","unstructured":"K. Bruce, A. Meyer, and J. Mitchell. The semantics of second order polymorphic lambda calculus. Information and Comutation, 73(2\/3), 1988."},{"key":"7_CR3","unstructured":"J. Cartmell. Generalized Algebraic Theories and Contextual Categories. PhD thesis, University of Oxford, 1978."},{"key":"7_CR4","unstructured":"L. Cardelli. Phase distinction in type theory. Draft 4\/1\/88, DEC SRC, 1988."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"T. Erhard. A categorical semantics of constructions. In 3rd LICS Conf. IEEE, 1988.","DOI":"10.1109\/LICS.1988.5125"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"R. Harper and J. Mitchell. The essence of ML. In 15th POPL. ACM, 1988.","DOI":"10.1145\/73560.73563"},{"key":"7_CR7","unstructured":"R. Harper, D. MacQueen, and R. Milner. Standard ML. Technical Report ECS-LFCS-86-2, Edinburgh Univ., Dept. of Comp. Sci., 1986."},{"key":"7_CR8","unstructured":"R. Harper, R. Milner, and M. Tofte. The semantics standard ML. Technical Report ECS-LFCS-87-36, Edinburgh Univ., Dept. of Comp. Sci., 1987."},{"key":"7_CR9","unstructured":"J.M.E. Hyland and A.M. Pitts. The theory of constructions: Categorical semantics and topos-theoretic models. In Proc. AMS Conf. on Categories in Comp. Sci. and Logic (Boulder 1987), 1987."},{"key":"7_CR10","unstructured":"G.M. Kelly. Basic Concepts of Enriched Category Theory. Cambridge University Press, 1982."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"S. MacLane. Categories for the Working Mathematician. Springer Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"D. MacQueen. Modules for standard ML. Polymorphism, 2, 1985.","DOI":"10.1145\/800055.802036"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"D. MacQueen. Using dependent types to express modular structures. In 13th POPL. ACM, 1986.","DOI":"10.1145\/512644.512670"},{"key":"7_CR14","unstructured":"E. Moggi. The cartesian closed category of signatures and functors and its description in Martin-L\u00f6f type theory. Manuscript, Bell Laboratories, 1986."},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"E. Moggi. Computational lambda-calculus and monads. In 4th LICS Conf. IEEE, 1989.","DOI":"10.1109\/LICS.1989.39155"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"J.C. Mitchell and G.D. Plotkin. Abstract types have existential type. ACM Trans. on Progr. Lang. and Sys., 10(3), 1988.","DOI":"10.1145\/44501.45065"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"R. Pare and D. Schumacher. Abstract families and the adjoint functor theorems. In P.T. Johnstone and R. Pare, editors, Indexed Categories and their Applications, volume 661 of Lecture Notes in Mathematics. Springer Verlag, 1978.","DOI":"10.1007\/BFb0061361"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"R.A.G. Seely. Hyperdoctrines, natural deduction and the beck condition. Zeitschr. f. math. Logik und Grundlagen d. Math., 29, 1983.","DOI":"10.1002\/malq.19830291005"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"R.A.G. Seely. Locally cartesian closed categories and type theory. Math. Proc. Camb. Phil. Soc., 95, 1984.","DOI":"10.1017\/S0305004100061284"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"R.A.G. Seely. Categorical semantics for higher order polymorphic lambda calculus. Journal of Symbolic Logic, 52(2), 1987.","DOI":"10.2307\/2273831"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"R. Street. The formal theory of monads. Journal of Pure and Applied Algebra, 2, 1972.","DOI":"10.1016\/0022-4049(72)90019-9"},{"key":"7_CR22","unstructured":"P. Taylor. Recursive Domains, Indexed Category Theory and Polymorphism. PhD thesis, University of Cambridge, 1987."}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018347.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:41:08Z","timestamp":1607532068000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018347"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354051662X"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0018347","relation":{},"subject":[]}}