{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:59:55Z","timestamp":1725627595696},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540129059"},{"type":"electronic","value":"9783642693939"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/978-3-642-69393-9_5","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:19:20Z","timestamp":1320229160000},"page":"71-84","source":"Crossref","is-referenced-by-count":0,"title":["Ein konstruktives Typsystem f\u00fcr funktionale Programmiersprachen"],"prefix":"10.1007","author":[{"given":"Fritz","family":"M\u00fcller","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/S0304-3975(82)80002-9","volume":"20","author":"G Berry","year":"1982","unstructured":"Berry, G.;Curien, P.L.: Sequential algorithms on concrete data structures. Theoretical Computer Science 20(1982)265\u2013321","journal-title":"Theoretical Computer Science"},{"key":"5_CR2","first-page":"49","volume-title":"Programming with concrete data structures and sequential algorithms. Proc. of the 1981 Conf. on Functional Programming Languages and Computer Architecture","author":"G Berry","year":"1981","unstructured":"Berry,G.: Programming with concrete data structures and sequential algorithms. Proc. of the 1981 Conf. on Functional Programming Languages and Computer Architecture, ACM, Wentworth-by-the-Sea 1981, pp. 49\u201357"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Burstall,R.M.; MacOueen,D.B.; Sannella,D.T.: HOPE: An experimental applicative language. Conference Record of the 1980 LISP Conference, Stanford 198o, pp. 136\u2013143","DOI":"10.1145\/800087.802799"},{"key":"5_CR4","volume-title":"The type theory of PL\/CV3. Logics of Programs (D. Kozen ed.), LNCS 131, pp. 72\u201393","author":"RL Constable","year":"1981","unstructured":"Constable,R.L.; Zlatin,D.R.: The type theory of PL\/CV3. Logics of Programs (D. Kozen ed.), LNCS 131, pp. 72\u201393. Berlin-Heidelberg-New York: Springer 1981"},{"key":"5_CR5","volume-title":"Edinburgh","author":"Constable,R.L.","year":"1982","unstructured":"Constable,R.L.: Intensional analysis of functions and types. Report CSR-118\u201382, Dept. of Comp. Sei., Univ. Edinburgh 1982"},{"key":"5_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09724-4","volume-title":"Edinburgh LCF. LNCS 78","author":"M Gordon","year":"1979","unstructured":"Gordon,M.; Milner,R.; Wadsworth,C.: Edinburgh LCF. LNCS 78. Berlin-Heidelberg-New York: Springer 1979"},{"key":"5_CR7","unstructured":"Kahn,G.; Plotkin,G.: Structures de donn\u00e9es concretes. Rapport IRIA-LABORIA 336, 1978"},{"issue":"Aug","key":"5_CR8","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1145\/359763.359789","volume":"20","author":"B. Liskov","year":"1977","unstructured":"Liskov,B.; Snyder,A.; Atkinson,R.; Schaffert,C.: Abstraction mechanisms in CLU. Comm. of the ACM 20,8(Aug. 1977)564\u2013576","journal-title":"Comm. of the ACM"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S0049-237X(08)71945-1","volume-title":"Logic Colloquium \u201973","author":"P Martin-L\u00f6f","year":"1975","unstructured":"Martin-L\u00f6f,P.: An intuitionistic theory of types: predicative part. Logic Colloquium \u201973 (H.E. Rose, J.C. Sheperdson eds.), pp. 73\u2013118. Amsterdam: North-Holland 1975"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/S0049-237X(09)70189-2","volume-title":"Logic, Methodology and Philosophy of Science VI (1979)","author":"P Martin-L\u00f6f","year":"1982","unstructured":"Martin-L\u00f6f,P.: Constructive mathematics and computer programming. Logic, Methodology and Philosophy of Science VI (1979) (L.J. Cohen etal eds.), pp. 153\u2013175. Amsterdam: North-Holland 1982"},{"key":"5_CR11","first-page":"1982","volume-title":"Informatik- Fachberichte 52, pp. 258\u2013268","author":"G Mauri","year":"1981","unstructured":"Mauri,G.; Brambilla,M.: On the logic of concurrency and conflict. Second European Workshop on Application and Theory of Petri Nets 1981 (C. Girault, W. Reisig eds.), Informatik- Fachberichte 52, pp. 258\u2013268. Berlin-Heidelberg-New York: Springer 1982"},{"key":"5_CR12","volume-title":"Syracuse University","author":"NJ McCracken","year":"1979","unstructured":"McCracken,N.J.: An investigation of a programming language with a polymorphic type structure. Dissertation, School of Computer and Information Science, Syracuse University 1979"},{"key":"5_CR13","volume-title":"Funktionale Programmiersprache mit konstruktivem Typsystem - Beispiel Datenbankprogrammierung. Bericht Fachbereich 10 - Informatik","author":"F M\u00fcller","year":"1983","unstructured":"M\u00fcller,F.: Funktionale Programmiersprache mit konstruktivem Typsystem - Beispiel Datenbankprogrammierung. Bericht Fachbereich 10 - Informatik, Universit\u00e4t des Saarlandes, Saarbr\u00fccken 1983"},{"key":"5_CR14","first-page":"915","volume-title":"Types and specifications. Information Processing 83 (IFIP)","author":"B Nordstr\u00f6m","year":"1983","unstructured":"Nordstr\u00f6m,B.: Types and specifications. Information Processing 83 (IFIP) (R.E.A. Mason ed.), pp. 915\u2013920. Amsterdam: North-Holland 1983"}],"container-title":["Informatik-Fachberichte","Programmiersprachen und Programmentwicklung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69393-9_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:33:48Z","timestamp":1606257228000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69393-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540129059","9783642693939"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69393-9_5","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1984]]}}}