{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:53Z","timestamp":1750306733114,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T00:00:00Z","timestamp":1413244800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/K008528\/1"],"award-info":[{"award-number":["EP\/K008528\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,10,14]]},"DOI":"10.1145\/2661136.2661154","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T12:29:24Z","timestamp":1413289764000},"page":"227-241","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["In Search of Types"],"prefix":"10.1145","author":[{"given":"Stephen","family":"Kell","sequence":"first","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2014,10,14]]},"reference":[{"volume-title":"Short Range Task Force for the Conference on Data Systems Languages","year":"1960","author":"Anonymous","key":"e_1_3_2_1_1_1"},{"volume-title":"IBM","year":"1954","author":"Backus J.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1978.tb02139.x"},{"volume-title":"OOPSLA Workshop on the Revival of Dynamic Languages; retrieved on 2014=8=17","author":"Bracha G.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"B. M.\n       \n      Brosgol\n    .\n      \n  \n   \n  Some issues in data types and type checking. In J. H. Williams and D. A. Fisher editors Design and Implementation of Programming Languages volume \n  54\n   of \n  Lecture Notes in Computer Science pages \n  102\n  --\n  130\n  . \n  Springer 1976\n  .   B. M. Brosgol. Some issues in data types and type checking. In J. H. Williams and D. A. Fisher editors Design and Implementation of Programming Languages volume 54 of Lecture Notes in Computer Science pages 102--130. Springer 1976.","DOI":"10.1007\/BFb0021421"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/6041.6042"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/800258.808963"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.2307\/2266170"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1941487.1941509"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640133"},{"key":"e_1_3_2_1_11_1","unstructured":"E. W. Dijkstra. On a language proposal for the Department of Defense 1975. EWD 514.  E. W. Dijkstra. On a language proposal for the Department of Defense 1975. EWD 514."},{"key":"e_1_3_2_1_12_1","unstructured":"D. Eberly. Fast inverse square root (revisited). Web note 2010. http:\/\/www.geometrictools.com\/Documentation\/FastInverseSqrt.pdf. Retrieved on 2014=3=15.  D. Eberly. Fast inverse square root (revisited). Web note 2010. http:\/\/www.geometrictools.com\/Documentation\/FastInverseSqrt.pdf. Retrieved on 2014=3=15."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384592.2384611"},{"key":"e_1_3_2_1_14_1","first-page":"83","volume-title":"Structured Programming","author":"Hoare C. A. R.","year":"1972"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/2969951.2969981"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/234286.1057828"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"volume-title":"Blackwell","year":"1980","author":"Kripke S.","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","unstructured":"S. Krishnamurthi. Programming languages: application and interpretation. e-book 2003. http:\/\/www.cs.brown.edu\/%7esk\/Publications\/Books\/ProgLangs\/. As generated on 2007=4=26.  S. Krishnamurthi. Programming languages: application and interpretation. e-book 2003. http:\/\/www.cs.brown.edu\/%7esk\/Publications\/Books\/ProgLangs\/. As generated on 2007=4=26."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/800233.807045"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802036"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/3721.3731"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"R. Milner. A theory of type polymorphism in programming. Journal of computer and system sciences 17(3):348--375 1978.  R. Milner. A theory of type polymorphism in programming. Journal of computer and system sciences 17(3):348--375 1978.","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_25_1","unstructured":"Y. Minsky A. Madhavapeddy and J. Hickey. Real World OCaml: functional programming for the masses. O'Reilly Nov 2013.  Y. Minsky A. Madhavapeddy and J. Hickey. Real World OCaml: functional programming for the masses. O'Reilly Nov 2013."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/44501.45065"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/512927.512938"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032497.2032509"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/361598.361623"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/800099.803218"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/800237.807133"},{"volume-title":"The MIT Press","year":"2002","author":"Pierce B.","key":"e_1_3_2_1_32_1"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/800193.805824"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/647323.721503"},{"key":"e_1_3_2_1_35_1","first-page":"513","volume-title":"IFIP Congress","author":"Reynolds J. C.","year":"1983"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1476793.1476880"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/XIV.4.479"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.2307\/2369948"},{"volume-title":"Technical Report PRG-2, Computing Laboratory","year":"1970","author":"Scott D.","key":"e_1_3_2_1_40_1"},{"volume-title":"University of Illinois Press","year":"1949","author":"Shannon C.","key":"e_1_3_2_1_41_1"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/366813.366816"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"volume-title":"Addison Wesley","year":"1951","author":"Wilkes M. V.","key":"e_1_3_2_1_44_1"}],"event":{"name":"SPLASH '14: Conference on Systems, Programming, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Portland Oregon USA","acronym":"SPLASH '14"},"container-title":["Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2661136.2661154","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2661136.2661154","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:46Z","timestamp":1750231186000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2661136.2661154"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,14]]},"references-count":43,"alternative-id":["10.1145\/2661136.2661154","10.1145\/2661136"],"URL":"https:\/\/doi.org\/10.1145\/2661136.2661154","relation":{},"subject":[],"published":{"date-parts":[[2014,10,14]]},"assertion":[{"value":"2014-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}