{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:13:34Z","timestamp":1775873614669,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T00:00:00Z","timestamp":1559952000000},"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":[],"published-print":{"date-parts":[[2019,6,8]]},"DOI":"10.1145\/3314221.3314625","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"379-393","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["A typed, algebraic approach to parsing"],"prefix":"10.1145","author":[{"given":"Neelakantan R.","family":"Krishnaswami","sequence":"first","affiliation":[{"name":"University of Cambridge, UK"}]},{"given":"Jeremy","family":"Yallop","sequence":"additional","affiliation":[{"name":"University of Cambridge, UK"}]}],"member":"320","published-online":{"date-parts":[[2019,6,8]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596638.1596644"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500597"},{"key":"e_1_3_2_1_4_1","volume-title":"LNCS","volume":"177","author":"Eds H.","year":"1984","unstructured":"H. Beki? and C. B. Jones ( Eds .). 1984 . Programming Languages and Their Definition: Selected Papers of H. Beki? . LNCS , Vol. 177 . Springer-Verlag. H. Beki? and C. B. Jones (Eds.). 1984. Programming Languages and Their Definition: Selected Papers of H. Beki?. LNCS, Vol. 177. Springer-Verlag."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/141471.141483"},{"key":"e_1_3_2_1_6_1","first-page":"173","volume-title":"Deterministic Regular Languages. In 9th Annual Symposium on Theoretical Aspects of Computer Science (STACS 92)","author":"Br\u00fcggemann-Klein Anne","year":"1992","unstructured":"Anne Br\u00fcggemann-Klein and Derick Wood . 1992 . Deterministic Regular Languages. In 9th Annual Symposium on Theoretical Aspects of Computer Science (STACS 92) . 173 - 184 . Anne Br\u00fcggemann-Klein and Derick Wood. 1992. Deterministic Regular Languages. In 9th Annual Symposium on Theoretical Aspects of Computer Science (STACS 92). 173-184."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/321239.321249"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/236114.236119"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237788"},{"key":"e_1_3_2_1_10_1","first-page":"44","volume-title":"Fixed Points in Computer Science (FICS","volume":"126","author":"Bugge Grathwohl Niels Bj\u00f8rn","year":"2014","unstructured":"Niels Bj\u00f8rn Bugge Grathwohl , Fritz Henglein , and Dexter Kozen . 2014 . Infinitary Axiomatization of the Equational Theory of Context-Free Languages . In Fixed Points in Computer Science (FICS 2013), Vol. 126 . 44 - 55 . Niels Bj\u00f8rn Bugge Grathwohl, Fritz Henglein, and Dexter Kozen. 2014. Infinitary Axiomatization of the Equational Theory of Context-Free Languages. In Fixed Points in Computer Science (FICS 2013), Vol. 126. 44-55."},{"key":"e_1_3_2_1_11_1","volume-title":"Jacobs","author":"Grune Dick","year":"2007","unstructured":"Dick Grune and Ceriel J.H . Jacobs . 2007 . Parsing Techniques : A Practical Guide (2 ed.). Springer Science , New York, NY 10013, USA. Dick Grune and Ceriel J.H. Jacobs. 2007. Parsing Techniques: A Practical Guide (2 ed.). Springer Science, New York, NY 10013, USA."},{"key":"e_1_3_2_1_12_1","volume-title":"OCaml Workshop.","author":"Christopher","unstructured":"Christopher S. Hardin and Roshan P. James. 2013. Core_bench: Micro-Benchmarking for OCaml . OCaml Workshop. Christopher S. Hardin and Roshan P. James. 2013. Core_bench: Micro-Benchmarking for OCaml. OCaml Workshop."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000411"},{"key":"e_1_3_2_1_14_1","volume-title":"Supercompiling with Staging. In Fourth International Valentin Turchin Workshop on Metacomputation.","author":"Inoue Jun","year":"2014","unstructured":"Jun Inoue . 2014 . Supercompiling with Staging. In Fourth International Valentin Turchin Workshop on Metacomputation. Jun Inoue. 2014. Supercompiling with Staging. In Fourth International Valentin Turchin Workshop on Metacomputation."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/937563.937566"},{"key":"e_1_3_2_1_16_1","volume-title":"CC (Lecture Notes in Computer Science)","author":"Johnstone Adrian","unstructured":"Adrian Johnstone and Elizabeth Scott . 1998. Generalised Recursive Descent parsing and Fellow-Determinism . In CC (Lecture Notes in Computer Science) , Vol. 1383 . Springer , 16-30. Adrian Johnstone and Elizabeth Scott. 1998. Generalised Recursive Descent parsing and Fellow-Determinism. In CC (Lecture Notes in Computer Science), Vol. 1383. Springer, 16-30."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660241"},{"key":"e_1_3_2_1_18_1","volume-title":"The Design and Implementation of BER MetaOCaml","author":"Kiselyov Oleg","unstructured":"Oleg Kiselyov . 2014. The Design and Implementation of BER MetaOCaml . In Functional and Logic Programming, Michael Codish and Eijiro Sumii (Eds.). Springer International Publishing , Cham , 86-102. Oleg Kiselyov. 2014. The Design and Implementation of BER MetaOCaml. In Functional and Logic Programming, Michael Codish and Eijiro Sumii (Eds.). Springer International Publishing, Cham, 86-102."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(65)90426-2"},{"key":"e_1_3_2_1_20_1","volume-title":"On Kleene Algebras and Closed Semirings. In International Symposium on Mathematical Foundations of Computer Science. Springer, 26-47","author":"Kozen Dexter","year":"1990","unstructured":"Dexter Kozen . 1990 . On Kleene Algebras and Closed Semirings. In International Symposium on Mathematical Foundations of Computer Science. Springer, 26-47 . Dexter Kozen. 1990. On Kleene Algebras and Closed Semirings. In International Symposium on Mathematical Foundations of Computer Science. Springer, 26-47."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500588"},{"key":"e_1_3_2_1_22_1","first-page":"242","article-title":"Towards Kleene Algebra with Recursion","author":"Lei\u00df Hans","year":"1991","unstructured":"Hans Lei\u00df . 1991 . Towards Kleene Algebra with Recursion . In Computer Science Logic (CSL). 242 - 256 . Hans Lei\u00df. 1991. Towards Kleene Algebra with Recursion. In Computer Science Logic (CSL). 242-256.","journal-title":"Computer Science Logic (CSL)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/321466.321477"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006326"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/647163.717677"},{"key":"e_1_3_2_1_26_1","unstructured":"Fran\u00e7ois Pottier and Yann R\u00e9gis-Gianas. 2017. Menhir Reference Manual. INRIA. http:\/\/gallium.inria.fr\/~fpottier\/menhir\/.  Fran\u00e7ois Pottier and Yann R\u00e9gis-Gianas. 2017. Menhir Reference Manual . INRIA. http:\/\/gallium.inria.fr\/~fpottier\/menhir\/."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429128"},{"key":"e_1_3_2_1_28_1","unstructured":"Arto Salomaa. 1973. Formal Languages. Academic Press.   Arto Salomaa. 1973. Formal Languages . Academic Press."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/349214.349219"},{"key":"e_1_3_2_1_30_1","first-page":"184","volume-title":"Second International School","author":"Doaitse Swierstra S.","year":"1996","unstructured":"S. Doaitse Swierstra and Luc Duponcheel . 1996 . Deterministic, Error-Correcting Combinator Parsers. In Advanced Functional Programming , Second International School , Olympia, WA, USA , August 26-30, 1996, Tutorial Text. 184 - 207 . S. Doaitse Swierstra and Luc Duponcheel. 1996. Deterministic, Error-Correcting Combinator Parsers. In Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text. 184-207."},{"key":"e_1_3_2_1_31_1","unstructured":"Walid Mohamed Taha. 1999. Multistage Programming: Its Theory and Applications. Ph.D. Dissertation. Oregon Graduate Institute of Science and Technology. AAI9949870.  Walid Mohamed Taha. 1999. Multistage Programming: Its Theory and Applications . Ph.D. Dissertation. Oregon Graduate Institute of Science and Technology. AAI9949870."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/363347.363387"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/2040096.2040123"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3294032.3294078"},{"key":"e_1_3_2_1_35_1","volume-title":"Algebraically Complete Semirings and Greibach Normal Form. Annals of Pure and Applied Logic 133 (1-3)","author":"\u00c9sik Zolt\u00e1n","year":"2005","unstructured":"Zolt\u00e1n \u00c9sik and Hans Lei\u00df . 2005. Algebraically Complete Semirings and Greibach Normal Form. Annals of Pure and Applied Logic 133 (1-3) ( 2005 ), 173-203. Zolt\u00e1n \u00c9sik and Hans Lei\u00df. 2005. Algebraically Complete Semirings and Greibach Normal Form. Annals of Pure and Applied Logic 133 (1-3) (2005), 173-203."}],"event":{"name":"PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Phoenix AZ USA","acronym":"PLDI '19","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314625","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314625","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:22Z","timestamp":1750204402000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314625"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,8]]},"references-count":34,"alternative-id":["10.1145\/3314221.3314625","10.1145\/3314221"],"URL":"https:\/\/doi.org\/10.1145\/3314221.3314625","relation":{},"subject":[],"published":{"date-parts":[[2019,6,8]]},"assertion":[{"value":"2019-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}