{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T19:56:33Z","timestamp":1768161393005,"version":"3.49.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032159809","type":"print"},{"value":"9783032159816","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-15981-6_8","type":"book-chapter","created":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T17:13:33Z","timestamp":1768151613000},"page":"133-142","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Functional Logic Perspective on\u00a0Indentation-Sensitive Parsing"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-0595-1558","authenticated-orcid":false,"given":"Steven","family":"Libby","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,1,12]]},"reference":[{"key":"8_CR1","unstructured":"Python. The python language reference. Technical report (2025)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Adams, M.: Principled parsing for indentation-sensitive languages: revisiting Landin\u2019s offside rule. In: Giacobazzi, R., Cousot, R. (eds.) The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2013, Rome, Italy, 23\u201325 January 2013, pp. 511\u2013522. ACM (2013)","DOI":"10.1145\/2429069.2429129"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Adams, M., Agacan, \u00d6.: Indentation-sensitive parsing for parsec. In: Swierstra, W. (ed.) Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, Gothenburg, Sweden, 4\u20135 September 2014, pp. 121\u2013132. ACM (2014)","DOI":"10.1145\/2633357.2633369"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Afroozeh, A., Izmaylova, A.: One parser to rule them all. In: Murphy, G., Steele, Jr., G. (eds.) 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2015, Pittsburgh, PA, USA, 25\u201330 October 2015, pp. 151\u2013170. ACM (2015)","DOI":"10.1145\/2814228.2814242"},{"key":"8_CR5","unstructured":"Aho, A., Sethi, R., Ullman, J.: Compilers: Principles, Techniques, and Tools. Addison-Wesley Series in Computer Science\/World Student Series Edition. Addison-Wesley (1986)"},{"issue":"4","key":"8_CR6","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/1721654.1721675","volume":"53","author":"S Antoy","year":"2010","unstructured":"Antoy, S., Hanus, M.: Functional logic programming. Commun. ACM 53(4), 74\u201385 (2010)","journal-title":"Commun. ACM"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/11680093_2","volume-title":"Logic Based Program Synthesis and Transformation","author":"S Antoy","year":"2006","unstructured":"Antoy, S., Hanus, M.: Declarative programming with function patterns. In: Hill, P.M. (ed.) LOPSTR 2005. LNCS, vol. 3901, pp. 6\u201322. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11680093_2"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Brachth\u00e4user, J., Rendel, T., Ostermann, K.: Parsing with first-class derivatives. In: Visser, E., Smaragdakis, Y. (eds.) Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, Part of SPLASH 2016, Amsterdam, The Netherlands, 30 October\u20134 November 2016, pp. 588\u2013606. ACM (2016)","DOI":"10.1145\/2983990.2984026"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/10705424_6","volume-title":"Functional and Logic Programming","author":"R Caballero","year":"1999","unstructured":"Caballero, R., L\u00f3pez-Fraguas, F.J.: A functional-logic perspective of parsing. In: Middeldorp, A., Sato, T. (eds.) FLOPS 1999. LNCS, vol. 1722, pp. 85\u201399. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/10705424_6"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Eduardo, S., de\u00a0Amorim, L., Steindorfer, M., Erdweg, S., Visser, E.: Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages. In: Pearce, D.J., Mayerhofer, T., Steimann, F. (eds.) Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018, Boston, MA, USA, 05\u201306 November 2018, pp. 3\u201315. ACM (2018)","DOI":"10.1145\/3276604.3276607"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-642-36089-3_14","volume-title":"Software Language Engineering","author":"S Erdweg","year":"2013","unstructured":"Erdweg, S., Rendel, T., K\u00e4stner, C., Ostermann, K.: Layout-sensitive generalized parsing. In: Czarnecki, K., Hedin, G. (eds.) SLE 2012. LNCS, vol. 7745, pp. 244\u2013263. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36089-3_14"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-63237-9_17","volume-title":"Implementation of Functional Languages","author":"M Erwig","year":"1997","unstructured":"Erwig, M.: Active patterns. In: Kluge, W. (ed.) IFL 1996. LNCS, vol. 1268, pp. 21\u201340. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63237-9_17"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Ford, B.: Parsing expression grammars: a recognition-based syntactic foundation. In: Jones, N., Leroy, X. (eds.) Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, 14\u201316 January 2004, pp. 111\u2013122. ACM (2004)","DOI":"10.1145\/964001.964011"},{"key":"8_CR14","unstructured":"Gruber, J.: Markdown: syntax. Technical report, Accessed on Oct 2025"},{"key":"8_CR15","unstructured":"Hanus, M.: FL-parser. https:\/\/cpm.curry-lang.org\/pkgs\/fl-parser.html, version 3.0.0. Accessed on Oct 2025"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-37651-1_6","volume-title":"Programming Logics","author":"M Hanus","year":"2013","unstructured":"Hanus, M.: Functional logic programming: from theory to curry. In: Voronkov, A., Weidenbach, C. (eds.) Programming Logics. LNCS, vol. 7797, pp. 123\u2013168. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-37651-1_6"},{"key":"8_CR17","unstructured":"Hanus, M. (ed.): Curry: an integrated functional logic language (vers. 0.9.0) (2016). http:\/\/www.curry-lang.org"},{"issue":"3 &4","key":"8_CR18","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0743-1066(92)90026-Y","volume":"12","author":"H Hu\u00dfmann","year":"1992","unstructured":"Hu\u00dfmann, H.: Nondeterministic algebraic specifications and nonconfluent term rewriting. J. Log. Program. 12(3 &4), 237\u2013255 (1992)","journal-title":"J. Log. Program."},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Jim, T., Mandelbaum, Y., Walker, D.: Semantics and algorithms for data-dependent grammars. In: Hermenegildo, M., Palsberg, J. (eds.) Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, 17\u201323 January 2010, pp. 417\u2013430. ACM (2010)","DOI":"10.1145\/1706299.1706347"},{"key":"8_CR20","unstructured":"Jones, M.: The implementation of the gofer functional programming system. Technical report, Yale University (1994)"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Krause, P.: The Art of Prolog, 2nd edn. by Leon Sterling and Ehud Shapiro, p. 509. MIT Press, Cambridge (1994). \u00a319.95 (paperback), \u00a344.94 (hardback), ISBN 0-262-19338-8. Knowl. Eng. Rev. 10(4), 411 (1995)","DOI":"10.1017\/S026988890000758X"},{"issue":"3","key":"8_CR22","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1145\/365230.365257","volume":"9","author":"P Landin","year":"1966","unstructured":"Landin, P.: The next 700 programming languages. Commun. ACM 9(3), 157\u2013166 (1966)","journal-title":"Commun. ACM"},{"key":"8_CR23","unstructured":"Leijen, D., Meijer, E.: Parsec: direct style monadic parser combinators for the real world. Technical Report UU-CS-2001-27, July 2001. User Modeling 2007, 11th International Conference, UM 2007, Corfu, Greece, 25\u201329 June 2007"},{"issue":"OOPSLA2","key":"8_CR24","doi-asserted-by":"publisher","first-page":"1150","DOI":"10.1145\/3622838","volume":"7","author":"J Liu","year":"2023","unstructured":"Liu, J., Zhu, F., He, F.: Automated ambiguity detection in layout-sensitive grammars. Proc. ACM Program. Lang. 7(OOPSLA2), 1150\u20131175 (2023)","journal-title":"Proc. ACM Program. Lang."},{"key":"8_CR25","unstructured":"Peyton\u00a0Jones, S. (ed.) Haskell 98 Language and Libraries\u2014The Revised Report. Cambridge University Press (2003)"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Wadler, P.: Views: a way for pattern matching to cohabit with data abstraction. In: Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, 21\u201323 January 1987, pp. 307\u2013313. ACM Press (1987)","DOI":"10.1145\/41625.41653"}],"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-032-15981-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,11]],"date-time":"2026-01-11T17:13:35Z","timestamp":1768151615000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-15981-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032159809","9783032159816"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-15981-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"12 January 2026","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":"Rennes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 January 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 January 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"padl2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/popl26.sigplan.org\/home\/PADL-2026","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}