{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T22:17:09Z","timestamp":1765232229138,"version":"3.41.0"},"reference-count":14,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2015,4,23]],"date-time":"2015-04-23T00:00:00Z","timestamp":1429747200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2015,4,23]]},"abstract":"<jats:p>Industry is ready and waiting for more graduates educated in the principles of programming languages.<\/jats:p>","DOI":"10.1145\/2663342","type":"journal-article","created":{"date-parts":[[2015,4,28]],"date-time":"2015-04-28T12:43:57Z","timestamp":1430225037000},"page":"30-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Teach foundational language principles"],"prefix":"10.1145","volume":"58","author":[{"given":"Thomas","family":"Ball","sequence":"first","affiliation":[{"name":"Microsoft Research, Redmond, WA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Zorn","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, WA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,4,23]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/362384.362685"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629175.1629198"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462184"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/362929.362947"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_2_1_7_1","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"Jackson D.","year":"2012","unstructured":"Jackson , D. Software Abstractions: Logic, Language, and Analysis . MIT Press , Cambridge, MA , 2012 . Jackson, D. Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge, MA, 2012."},{"key":"e_1_2_1_8_1","volume-title":"The Garbage Collection Handbook: The Art of Automatic Memory Management","author":"Jones R.","year":"2012","unstructured":"Jones , R. The Garbage Collection Handbook: The Art of Automatic Memory Management . Chapman and Hall , 2012 . Jones, R. The Garbage Collection Handbook: The Art of Automatic Memory Management. Chapman and Hall, 2012."},{"key":"e_1_2_1_9_1","volume-title":"Why we should build software like we build houses. Wired 25 (Jan","author":"Lamport L.","year":"2013","unstructured":"Lamport , L. Why we should build software like we build houses. Wired 25 (Jan . 2013 ). Lamport, L. Why we should build software like we build houses. Wired 25 (Jan. 2013)."},{"key":"e_1_2_1_10_1","volume-title":"OpenSSL Security Advisory {07","author":"Open SSL","year":"2014","unstructured":"Open SSL Project . OpenSSL Security Advisory {07 Apr 2014 }. (Apr. 7, 2014); http:\/\/www.openssl.org\/news\/secadv_20140407.txt. OpenSSL Project. OpenSSL Security Advisory {07 Apr 2014}. (Apr. 7, 2014); http:\/\/www.openssl.org\/news\/secadv_20140407.txt."},{"volume-title":"Specification and verification in introductory computer science","author":"Pfenning F.","key":"e_1_2_1_11_1","unstructured":"Pfenning , F. Specification and verification in introductory computer science . Carnegie Mellon University ; http:\/\/c0.typesafety.net\/. Pfenning, F. Specification and verification in introductory computer science. Carnegie Mellon University; http:\/\/c0.typesafety.net\/."},{"key":"e_1_2_1_12_1","volume-title":"Types and Programming Languages","author":"Pierce B.C.","year":"2002","unstructured":"Pierce , B.C. Types and Programming Languages . MIT Press , 2002 , I--XXI, 1--623. Pierce, B.C. Types and Programming Languages. MIT Press, 2002, I--XXI, 1--623."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806635"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185376.2185383"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2663342","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2663342","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:47Z","timestamp":1750227167000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2663342"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,23]]},"references-count":14,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2015,4,23]]}},"alternative-id":["10.1145\/2663342"],"URL":"https:\/\/doi.org\/10.1145\/2663342","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"type":"print","value":"0001-0782"},{"type":"electronic","value":"1557-7317"}],"subject":[],"published":{"date-parts":[[2015,4,23]]},"assertion":[{"value":"2015-04-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}