{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:18:46Z","timestamp":1725743926049},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642404467"},{"type":"electronic","value":"9783642404474"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40447-4_7","type":"book-chapter","created":{"date-parts":[[2013,8,6]],"date-time":"2013-08-06T01:00:39Z","timestamp":1375750839000},"page":"101-116","source":"Crossref","is-referenced-by-count":0,"title":["Call-by-Value Semantics for Mutually Recursive First-Class Modules"],"prefix":"10.1007","author":[{"given":"Judith","family":"Rohloff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Lorenzen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Pepper, P., Hofstedt, P.: Funktionale Programmierung \u2013 Sprachdesign und Programmiertechnik. Springer (2006)"},{"key":"7_CR2","unstructured":"Peyton Jones, S.L., Shields, M.B.: First class modules for Haskell. In: 9th International Conference on Foundations of Object-Oriented Languages (FOOL 9), Portland, Oregon, pp. 28\u201340 (January 2002)"},{"key":"7_CR3","first-page":"348","volume":"7","author":"C.V. Russo","year":"2000","unstructured":"Russo, C.V.: First-class structures for standard ml. Nordic J. of Computing\u00a07, 348\u2013374 (2000)","journal-title":"Nordic J. of Computing"},{"key":"7_CR4","unstructured":"Reinke, C.: Functions, Frames, and Interactions \u2013 completing a lambda-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments. PhD thesis, Universit\u00e4t Kiel (1997)"},{"key":"7_CR5","unstructured":"Blume, M.: Hierarchical Modularity and Intermodule Optimization. PhD thesis, Princeton University (November 1997)"},{"issue":"5","key":"7_CR6","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/301631.301641","volume":"34","author":"K. Crary","year":"1999","unstructured":"Crary, K., Harper, R., Puri, S.: What is a recursive module? SIGPLAN Not.\u00a034(5), 50\u201363 (1999)","journal-title":"SIGPLAN Not."},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/1160074.1159813","volume":"41","author":"K. Nakata","year":"2006","unstructured":"Nakata, K., Garrigue, J.: Recursive modules for programming. SIGPLAN Not.\u00a041, 74\u201386 (2006)","journal-title":"SIGPLAN Not."},{"issue":"10","key":"7_CR8","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/507669.507644","volume":"36","author":"C.V. Russo","year":"2001","unstructured":"Russo, C.V.: Recursive structures for standard ml. SIGPLAN Not.\u00a036(10), 50\u201361 (2001)","journal-title":"SIGPLAN Not."},{"key":"7_CR9","unstructured":"Nakata, K., Garrigue, J.: Path resolution for nested recursive modules. Higher-Order and Symbolic Computation, 1\u201331 (May 2012)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-540-45070-2_10","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"M. Odersky","year":"2003","unstructured":"Odersky, M., Cremet, V., R\u00f6ckl, C., Zenger, M.: A nominal theory of objects with dependent types. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, pp. 201\u2013224. Springer, Heidelberg (2003)"},{"issue":"8","key":"7_CR11","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/142137.142141","volume":"27","author":"L. Cardelli","year":"1992","unstructured":"Cardelli, L., Donahue, J., Glassman, L., Jordan, M., Kalsow, B., Nelson, G.: Modula-3 report (revised). ACM SIGPLAN Notices\u00a027(8), 15\u201342 (1992)","journal-title":"ACM SIGPLAN Notices"},{"key":"7_CR12","unstructured":"Abelson, H., Sussman, G.J., Sussman, J.: Structure and Interpretation of Computer Programs, 2nd edn. MIT Press (1996)"},{"key":"7_CR13","unstructured":"Lorenzen, F., Rohloff, J.: Gruppen: Ein Ansatz zur Vereinheitlichung von Namensbindung und Modularisierung in strikten funktionalen Programmiersprachen (Langfassung). Technical Report 2011-12, TU Berlin (2011)"},{"issue":"1","key":"7_CR14","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0898-1221(81)90008-0","volume":"7","author":"M. Sharir","year":"1981","unstructured":"Sharir, M.: A strong-connectivity algorithm and its applications in data flow analysis. Computers & Mathematics with Applications\u00a07(1), 67\u201372 (1981)","journal-title":"Computers & Mathematics with Applications"},{"issue":"8","key":"7_CR15","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1145\/360303.360308","volume":"19","author":"R.D. Tennent","year":"1976","unstructured":"Tennent, R.D.: The denotational semantics of programming languages. Commun. ACM\u00a019(8), 437\u2013453 (1976)","journal-title":"Commun. ACM"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Gordon, M.J.C.: The Denotational Description of Programming Languages. Springer (1979)","DOI":"10.1007\/978-1-4612-6228-2"},{"key":"7_CR17","unstructured":"Stoy, J.E.: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. Computer Science Series. MIT Press (1981)"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1145\/1086642.1086644","volume":"27","author":"T. Hirschowitz","year":"2005","unstructured":"Hirschowitz, T., Leroy, X.: Mixin modules in a call-by-value setting. ACM Trans. Program. Lang. Syst.\u00a027, 857\u2013881 (2005)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"9","key":"7_CR19","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/1160074.1159815","volume":"41","author":"S. Owens","year":"2006","unstructured":"Owens, S., Flatt, M.: From structures and functors to modules and units. SIGPLAN Not.\u00a041(9), 87\u201398 (2006)","journal-title":"SIGPLAN Not."}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40447-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T12:33:22Z","timestamp":1558010002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40447-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642404467","9783642404474"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40447-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}