{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:45Z","timestamp":1725456165539},"publisher-location":"Berlin\/Heidelberg","reference-count":6,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354017611X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0014988","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:02:53Z","timestamp":1132725773000},"page":"308-319","source":"Crossref","is-referenced-by-count":7,"title":["A type discipline for program modules"],"prefix":"10.1007","author":[{"given":"Robert","family":"Harper","sequence":"first","affiliation":[]},{"given":"Robin","family":"Milner","sequence":"additional","affiliation":[]},{"given":"Mads","family":"Tofte","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Luis Damas and Robin Milner. Principal type schemes for functional programs. In Proceedings of the 9th ACM Symposium on the Principles of Programming Languages, pages 207\u2013212, 1982.","DOI":"10.1145\/582153.582176"},{"key":"20_CR2","unstructured":"Robert Harper. Introduction to Standard ML. Technical Report, University of Edinburgh, September 1986."},{"key":"20_CR3","unstructured":"David MacQueen. Modules for Standard ML. In Standard ML, by Robert Harper and David MacQueen and Robin Milner, Technical Report ECS-LFCS-86-2, Laboratory for the Foundations of Computer Science, Edinburgh University, March 1986."},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"David MacQueen. Using dependent types to express modular structure. In Proceedings of the 13th ACM Symposium on the Principles of Programming Languages, 1986.","DOI":"10.1145\/512644.512670"},{"key":"20_CR5","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Robin Milner. A theory of type polymorphism in programming languages. Journal of Computer and System Sciences, 17:348\u2013375, 1978.","journal-title":"Journal of Computer and System Sciences"},{"key":"20_CR6","series-title":"Technical Report","volume-title":"A Structural Approach to Operational Semantics","author":"G. Plotkin","year":"1981","unstructured":"Gordon Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI-FN-19, Computer Science Department, Aarhus University, Denmark, 1981."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '87"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014988.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T15:09:01Z","timestamp":1607353741000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014988"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354017611X"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/bfb0014988","relation":{},"subject":[]}}