{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T05:30:18Z","timestamp":1738387818182,"version":"3.35.0"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. & Technol."],"published-print":{"date-parts":[[2001,5]]},"DOI":"10.1007\/bf02943207","type":"journal-article","created":{"date-parts":[[2008,9,12]],"date-time":"2008-09-12T07:08:00Z","timestamp":1221203280000},"page":"286-292","source":"Crossref","is-referenced-by-count":0,"title":["Type system in programming languages"],"prefix":"10.1007","volume":"16","author":[{"given":"Hui","family":"Jiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dong","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xingyuan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiren","family":"Xie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02943207_CR1","volume-title":"The Lambda Calculus: Its Syntax and Semantics","author":"H P Barendregt","year":"1984","unstructured":"Barendregt H P. The Lambda Calculus: Its Syntax and Semantics. Amsterdam: North-Holland, 1984."},{"key":"BF02943207_CR2","doi-asserted-by":"crossref","unstructured":"Barendregt H P. Lambda Calculus with Types. InHandbook of Logic in Computer Science, Oxford University Press, Vol.2, 1991.","DOI":"10.1093\/oso\/9780198537618.003.0002"},{"key":"BF02943207_CR3","unstructured":"Hindley J R, Seldin J P. Introduction to Combinators and \u03bb-Calculus. Cambridge University Press, 1986."},{"key":"BF02943207_CR4","doi-asserted-by":"crossref","unstructured":"Milner R, Tofte M, Harper Ret al. The Definition of Standard ML (revised). The MIT Press, 1997.","DOI":"10.7551\/mitpress\/2319.001.0001"},{"issue":"4","key":"BF02943207_CR5","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L Cardelli","year":"1985","unstructured":"Cardelli L, Wegner P. On understanding types, data abstraction, and polymorphism.ACM Computing Surveys, Dec. 1985, 17(4): 471\u2013521.","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"BF02943207_CR6","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1145\/3916.3987","volume":"7","author":"J Donahue","year":"1985","unstructured":"Donahue J, Demers A. Data types are values.ACM Transaction on Program. Languages and System, July 1985, 7(3): 426\u2013445.","journal-title":"ACM Transaction on Program. Languages and System"},{"key":"BF02943207_CR7","unstructured":"Cardelli L. Type System. InHandbook of Computer Science and Engineering, Chapter 103, CRC Press, 1997."},{"key":"BF02943207_CR8","unstructured":"Gunter C A. Semantics of Programming Languages: Structures and Techniques. InFoundations of Computing, Garey M, Meyer A (eds.), MIT Press, 1992."},{"key":"BF02943207_CR9","unstructured":"Cardelli L, Typeful Programming. InFormal Description of Programming Concepts, Neuhold E J, Paul M (eds.), Springer-Verlag, 1991."},{"key":"BF02943207_CR10","doi-asserted-by":"crossref","unstructured":"Hindley J R. Basic Simple Type Theory. Cambridge University Press, 1997.","DOI":"10.1017\/CBO9780511608865"},{"key":"BF02943207_CR11","unstructured":"Hofmann M, Pierce B. A unifying type-theoretic framework for objects.Journal of Functional Programming, Cambridge University Press, Jan., 1993, 1(1)."},{"key":"BF02943207_CR12","doi-asserted-by":"crossref","unstructured":"Fisher K, Mitchell J C. Notes on typed object-oriented programming. InProc. Theoretical Aspects of Computer Software, Springer, LNCS 789, 1994, pp.844\u2013885.","DOI":"10.1007\/3-540-57887-0_128"},{"issue":"1","key":"BF02943207_CR13","first-page":"1","volume":"1","author":"C Pierce Benjamin","year":"1993","unstructured":"Benjamin C Pierce, Turner D N. Simple type-theoretic foundations for object-oriented programming.Journal of Functional Programming, Cambridge University Press, Jan. 1993, 1(1): 1\u2013100.","journal-title":"Journal of Functional Programming"},{"key":"BF02943207_CR14","unstructured":"Hudak P, Wadler Pet al. Report on the functional programming language Haskell. Department of Computing Science, Glasgow University, 1993."},{"key":"BF02943207_CR15","doi-asserted-by":"crossref","unstructured":"Mitchell J C. Type Systems for programming languages. InHandbook of Theoretical Computer Science, Van Leeuwen J (ed.), North Holland, 1990, pp.365\u2013458.","DOI":"10.1016\/B978-0-444-88074-1.50013-5"},{"key":"BF02943207_CR16","doi-asserted-by":"crossref","unstructured":"Jiang Hui, Lin Dong, Xie Xiren. Using formal specification languages in industrial software development. InIEEE International Conference on Intelligent Processing Systems, Beijing, October, 28\u201331, 1997, pp. 1847\u20131850.","DOI":"10.1109\/ICIPS.1997.669377"},{"key":"BF02943207_CR17","unstructured":"Jiang Hui. Implementation of SClean\u2019s type system [dissertation]. Institute of Communication Engineering, 1998."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943207.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02943207\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943207","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T22:26:19Z","timestamp":1738362379000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02943207"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2001,5]]}},"alternative-id":["BF02943207"],"URL":"https:\/\/doi.org\/10.1007\/bf02943207","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"type":"print","value":"1000-9000"},{"type":"electronic","value":"1860-4749"}],"subject":[],"published":{"date-parts":[[2001,5]]}}}