{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:35:35Z","timestamp":1742945735012,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031849237"},{"type":"electronic","value":"9783031849244"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-84924-4_2","type":"book-chapter","created":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T12:00:35Z","timestamp":1742212835000},"page":"18-34","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Type-Checking Heterogeneous Sequences in\u00a0a\u00a0Simple Embeddable Type System"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1595-8655","authenticated-orcid":false,"given":"Jim","family":"Newton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,3,18]]},"reference":[{"key":"2_CR1","unstructured":"Seqexp: regular expressions for sequences (2014). https:\/\/github.com\/cgrand\/seqexp"},{"key":"2_CR2","unstructured":"Ansi: American National Standard: Programming Language \u2013 Common Lisp. ANSI X3.226:1994 (R1999) (1994)"},{"key":"2_CR3","unstructured":"Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E., Yergeau, F.: Extensible markup language (XML) 1.0 (fifth edition). W3C Recommendation (2008). http:\/\/www.w3.org\/TR\/REC-xml\/"},{"issue":"4","key":"2_CR4","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1145\/321239.321249","volume":"11","author":"JA Brzozowski","year":"1964","unstructured":"Brzozowski, J.A.: Derivatives of regular expressions. J. ACM 11(4), 481\u2013494 (1964). https:\/\/doi.org\/10.1145\/321239.321249","journal-title":"J. ACM"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"D\u2019Antoni, L., Veanes, M.: The power of symbolic automata and transducers. In: Computer Aided Verification, 29th International Conference (CAV 2017). Springer (2017). https:\/\/www.microsoft.com\/en-us\/research\/publication\/power-symbolic-automata-transducers-invited-tutorial\/","DOI":"10.1007\/978-3-319-63387-9_3"},{"key":"2_CR6","unstructured":"EPFL: Scala Reflection Library 2.12.0 (2016). https:\/\/www.scala-lang.org\/api\/2.12.0\/scala-reflect\/scala\/reflect\/runtime\/index.html"},{"key":"2_CR7","unstructured":"Gosling, J., Joy, B., Steele, G.L., Bracha, G., Buckley, A.: The Java Language Specification, Java SE 8 Edition, 1st edn. Addison-Wesley Professional (2014)"},{"key":"2_CR8","unstructured":"Grigore, R.: Java generics are turing complete. CoRR abs\/1605.05274 (2016). http:\/\/arxiv.org\/abs\/1605.05274"},{"key":"2_CR9","unstructured":"Heikkil\u00e4, M.: Malli, Metosin (2022). https:\/\/github.com\/metosin\/malli"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Hickey, R.: The Clojure programming language. In: Proceedings of the 2008 Symposium on Dynamic Languages, p.\u00a01. ACM (2008)","DOI":"10.1145\/1408681.1408682"},{"key":"2_CR11","doi-asserted-by":"publisher","unstructured":"Hickey, R.: A history of clojure. Proc. ACM Program. Lang. 4(HOPL) (2020). https:\/\/doi.org\/10.1145\/3386321","DOI":"10.1145\/3386321"},{"key":"2_CR12","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"JE Hopcroft","year":"2006","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2006)","edition":"3"},{"issue":"1","key":"2_CR13","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/1053468.1053470","volume":"27","author":"H Hosoya","year":"2005","unstructured":"Hosoya, H., Vouillon, J., Pierce, B.C.: Regular expression types for XML. ACM Trans. Program. Lang. Syst. 27(1), 46\u201390 (2005). https:\/\/doi.org\/10.1145\/1053468.1053470","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"2_CR14","unstructured":"Newton, J., S\u00e9bastien\u00a0Doeraene, L.P.: Union types in scala 3 (2020). https:\/\/contributors.scala-lang.org\/t\/union-types-in-scala-3\/4046"},{"key":"2_CR15","doi-asserted-by":"publisher","unstructured":"Keil, M., Thiemann, P.: Symbolic solving of extended regular expression inequalities. In: Raman, V., Suresh, S.P. (eds.) 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014). Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a029, pp. 175\u2013186. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl (2014). https:\/\/doi.org\/10.4230\/LIPIcs.FSTTCS.2014.175","DOI":"10.4230\/LIPIcs.FSTTCS.2014.175"},{"key":"2_CR16","unstructured":"Kennedy, A., Pierce, B.C.: On decidability of nominal subtyping with variance. In: International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL\/WOOD) (2007). https:\/\/www.microsoft.com\/en-us\/research\/publication\/on-decidability-of-nominal-subtyping-with-variance\/"},{"key":"2_CR17","unstructured":"Lehtosalo, J.: The MyPy project (2022). http:\/\/mypy-lang.org"},{"key":"2_CR18","doi-asserted-by":"publisher","unstructured":"Might, M., Darais, D., Spiewak, D.: Parsing with derivatives: a functional pearl. In: Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming, ICFP 2011, pp. 189\u2013195. Association for Computing Machinery, New York (2011). https:\/\/doi.org\/10.1145\/2034773.2034801","DOI":"10.1145\/2034773.2034801"},{"key":"2_CR19","unstructured":"Miller, A.: Spec Guide (2022). https:\/\/clojure.org\/guides\/spec"},{"key":"2_CR20","unstructured":"Newton, J.: Representing and computing with types in dynamically typed languages. Ph.D. thesis, Sorbonne University (2018)"},{"key":"2_CR21","unstructured":"Newton, J.: An elegant and fast algorithm for paritioning types. In: European Lisp Symposium, Amsterdam, Netherlands (2023)"},{"key":"2_CR22","unstructured":"Newton, J.: Regular type expressions for clojure (2024). github.com\/jimka2001\/clojure-rte"},{"key":"2_CR23","unstructured":"Newton, J.: Regular type expressions for common lisp (2024). github.com\/jimka2001\/cl-rte"},{"key":"2_CR24","unstructured":"Newton, J.: Regular type expressions for python (2024). github.com\/jimka2001\/python-rte"},{"key":"2_CR25","unstructured":"Newton, J.: Regular type expressions for scala (2024). github.com\/jimka2001\/scala-rte"},{"key":"2_CR26","unstructured":"Newton, J., Demaille, A., Verna, D.: Type-checking of heterogeneous sequences in common lisp. In: European Lisp Symposium, Krak\u00f3w, Poland (2016)"},{"key":"2_CR27","unstructured":"Newton, J., Pommellet, A.: A portable, simple, embeddable type system. In: European Lisp Symposium. Online, Everywhere (2021)"},{"key":"2_CR28","unstructured":"Odersky, M., et al.: The Scala language specification (2004)"},{"key":"2_CR29","doi-asserted-by":"publisher","unstructured":"Odersky, M., Zenger, M.: Scalable component abstractions. In: Sigplan Notices - SIGPLAN, vol.\u00a040, pp. 41\u201357 (2005). https:\/\/doi.org\/10.1145\/1103845.1094815","DOI":"10.1145\/1103845.1094815"},{"issue":"2","key":"2_CR30","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1017\/S0956796808007090","volume":"19","author":"S Owens","year":"2009","unstructured":"Owens, S., Reppy, J., Turon, A.: Regular-expression derivatives re-examined. J. Funct. Program. 19(2), 173\u2013190 (2009)","journal-title":"J. Funct. Program."},{"key":"2_CR31","doi-asserted-by":"publisher","unstructured":"Pezoa, F., Reutter, J.L., Suarez, F., Ugarte, M., Vrgo\u010d, D.: Foundations of JSON schema. In: Proceedings of the 25th International Conference on World Wide Web, WWW 2016, pp. 263\u2013273. International World Wide Web Conferences Steering Committee, Republic and Canton of Geneva, CHE (2016).https:\/\/doi.org\/10.1145\/2872427.2883029","DOI":"10.1145\/2872427.2883029"},{"key":"2_CR32","doi-asserted-by":"publisher","unstructured":"Rak-amnouykit, I., McCrevan, D., Milanova, A., Hirzel, M., Dolby, J.: Python 3 types in the wild: a tale of two type systems. In: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, DLS 2020, pp. 57\u201370. Association for Computing Machinery, New York (2020).https:\/\/doi.org\/10.1145\/3426422.3426981","DOI":"10.1145\/3426422.3426981"},{"key":"2_CR33","unstructured":"van Rossum, G., Drake, F.L.: The Python Language Reference Manual. Network Theory Ltd. (2011)"},{"key":"2_CR34","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195218","volume-title":"Elements of Automata Theory","author":"J Sakarovitch","year":"2009","unstructured":"Sakarovitch, J.: Elements of Automata Theory. Cambridge University Press, USA (2009)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-84924-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T12:00:47Z","timestamp":1742212847000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-84924-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031849237","9783031849244"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-84924-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"18 March 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PADL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Practical Aspects of Declarative Languages","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denver, CO","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 January 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 January 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"padl2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}