{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T15:32:31Z","timestamp":1794411151356,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642276934","type":"print"},{"value":"9783642276941","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-27694-1_21","type":"book-chapter","created":{"date-parts":[[2012,2,7]],"date-time":"2012-02-07T17:38:40Z","timestamp":1328636320000},"page":"289-303","source":"Crossref","is-referenced-by-count":18,"title":["Typing the Numeric Tower"],"prefix":"10.1007","author":[{"given":"Vincent","family":"St-Amour","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sam","family":"Tobin-Hochstadt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthew","family":"Flatt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthias","family":"Felleisen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Buneman, P., Pierce, B.: Union types for semistructured data. In: Proc. Works. On Database Programming Languages, pp. 184\u2013207 (1999)","DOI":"10.1007\/3-540-44543-9_12"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BF02011875","volume":"19","author":"M. Coppo","year":"1978","unstructured":"Coppo, M., Dezani-Ciancaglin, M.: A new type assignment for \u03bb-terms. Archiv Math. Logik\u00a019, 139\u2013156 (1978)","journal-title":"Archiv Math. Logik"},{"key":"21_CR3","unstructured":"Dahl, O.-J.: SIMULA 67 Common Base Language. Norwegian Computing Center (1968)"},{"key":"21_CR4","unstructured":"Flatt, M., PLT.: Reference: Racket. PLT Inc., PLT-TR-2010-1 (2010), \n                  \n                    http:\/\/racket-lang.org\/tr1\/"},{"key":"21_CR5","unstructured":"Goldberg, A., Robson, D.: Smalltalk-80: the Language and its Implementation. Addison-Wesley (1983)"},{"key":"21_CR6","unstructured":"Gosling, J., Joy, B., Steele Jr., G.L., Bracha, G.: The JavaTM Language Specification, 4th edn. Addison-Wesley (2005)"},{"key":"21_CR7","unstructured":"ISO. ISO C Standard 1999 (1999)"},{"key":"21_CR8","unstructured":"Jones, M.P.: The Habit programming language: the revised preliminary report (2010)"},{"key":"21_CR9","unstructured":"Leroy, X., Doligez, D., Frisch, A., Garrigue, J., R\u00e9my, D., Vouillon, J.: The Objective Caml system, Documentation and user\u2019s manual (2010)"},{"issue":"2","key":"21_CR10","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1147\/sj.82.0136","volume":"8","author":"P.A.W. Lewis","year":"1969","unstructured":"Lewis, P.A.W., Goodman, A.S., Miller, J.M.: A pseudo-random number generator for the System\/360. IBM Systems Journal\u00a08(2), 136\u2013146 (1969)","journal-title":"IBM Systems Journal"},{"key":"21_CR11","unstructured":"Marlow, S. (ed.): Haskell 2010 Language Report (2010)"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Milner, R., Tofte, M., Harper, R., MacQueen, D.: The Definition of Standard ML, Revised edn. MIT Press (1997)","DOI":"10.7551\/mitpress\/2319.001.0001"},{"issue":"1","key":"21_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/345099.345100","volume":"22","author":"B.C. Pierce","year":"2000","unstructured":"Pierce, B.C., Turner, D.N.: Local type inference. ACM Transactions on ProgrammingLanguages and Systems\u00a022(1), 1\u201344 (2000)","journal-title":"ACM Transactions on ProgrammingLanguages and Systems"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Postel, J.: DoD standard Transmission control protocol. IETF RFC 761 (1980)","DOI":"10.17487\/rfc0761"},{"key":"21_CR15","unstructured":"Reynolds, J.C.: Preliminary design of the programming language Forsythe. Technical report CMU-CS-88-159, Carnegie-Mellon University (1988)"},{"issue":"S1","key":"21_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0956796809990074","volume":"19","author":"M. Sperber","year":"2009","unstructured":"Sperber, M., Flatt, M., Van Straaten, A., Kent Dybvig, R., Findler, R.B., Matthews, J.: Revised6 report on the algorithmic language Scheme. J. of Functional Programming\u00a019(S1), 1\u2013301 (2009)","journal-title":"J. of Functional Programming"},{"key":"21_CR17","unstructured":"Steele Jr., G.L.: Common Lisp: the Language, 2nd edn. Digital Press (1994)"},{"key":"21_CR18","unstructured":"Stroustrup, B.: The C++ Programming Language, 3rd edn. Addison-Wesley (2000)"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Tobin-Hochstadt, S., Felleisen, M.: The design and implementation of Typed Scheme. In: Proc. Symp. on Principles of Programming Languages, pp. 395\u2013406 (2008)","DOI":"10.1145\/1328897.1328486"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"Tobin-Hochstadt, S., Felleisen, M.: Logical types for untyped languages. In: Proc. International Conf. on Functional Programming, pp. 117\u2013128 (2010)","DOI":"10.1145\/1932681.1863561"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Tobin-Hochstadt, S., St-Amour, V., Culpepper, R., Flatt, M., Felleisen, M.: Languages as libraries. In: Proc. Programming Language Design and Implementation, pp. 132\u2013141 (2011)","DOI":"10.1145\/1993316.1993514"},{"issue":"1","key":"21_CR22","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/239912.239917","volume":"19","author":"A.K. Wright","year":"1997","unstructured":"Wright, A.K., Cartwright, R.: A practical soft type system for Scheme. ACM Transactions on Programming Languages and Systems\u00a019(1), 87\u2013152 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27694-1_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,26]],"date-time":"2019-04-26T03:01:45Z","timestamp":1556247705000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27694-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642276934","9783642276941"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27694-1_21","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-642-27694-1","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}