{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T20:59:55Z","timestamp":1722977995593},"reference-count":13,"publisher":"International Academy Publishing (IAP)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.17706\/jsw.11.2.220-229","type":"journal-article","created":{"date-parts":[[2015,12,28]],"date-time":"2015-12-28T22:44:28Z","timestamp":1451342668000},"page":"220-229","source":"Crossref","is-referenced-by-count":2,"title":["Let-Binding with Regular Expressions in Lambda Calculus"],"prefix":"10.17706","volume":"11","author":[{"name":"Department of Computer Science, Tokyo Institute of Technology, 2-12-1-W8-69, Ookayama, Meguro, Tokyo 152-8552, Japan.","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takuya","family":"Ohata","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin-ya","family":"Nishizaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2016]]},"reference":[{"key":"ref1","volume-title":"Introduction to Automata Theory Languages and Computation","author":"Ullman","year":"2006","unstructured":"[1] Ullman, J. D., Hopcroft, J. E., & Motwani, R. (2006). Introduction to Automata Theory, Languages and Computation, Pearson."},{"key":"ref2","volume-title":"Haskell 98 Languages and Libraries","author":"Jones","year":"2003","unstructured":"[2] Jones, S. P. (2003). Haskell 98 Languages and Libraries: The Revised Report. Cambridge University Press."},{"key":"ref3","volume-title":"The Practice of Programming","author":"Kernighan","year":"1998","unstructured":"[4] Kernighan, B. W., & Pike, R. (1998). The Practice of Programming. Addison-Wesley."},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1109\/SYNASC.2015.29","article-title":"Lambda calculus with regular types.","volume-title":"Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","author":"Dundua","year":"2015","unstructured":"[6] Dundua, B., Florido, M., & Kutsia, T. (2015). Lambda calculus with regular types. Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, to appear."},{"key":"ref5","volume-title":"Semantics of Programming Languages Structures and Techniques","author":"Gunter","year":"1992","unstructured":"[7] Gunter, C. A. (1992). Semantics of Programming Languages Structures and Techniques. The MIT Press."},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML (Revised)","author":"Milner","year":"1997","unstructured":"[8] Milner, R., Harper, R., & MacQueen, D. (1997). The Definition of Standard ML (Revised). The MIT Press."},{"key":"ref7","article-title":"Incorporating first-order unification into functional language via first-class environments.","volume-title":"Proceedings of the SPIT 2012 Second International Joint Conference","author":"Nishizaki","year":"2012","unstructured":"[9] Nishizaki, S. (2012). Incorporating first-order unification into functional language via first-class environments. Proceedings of the SPIT 2012 Second International Joint Conference."},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.17706\/jsw.10.10.1148-1159"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25462-8_28"},{"key":"ref10","first-page":"371","article-title":"Simple abstract machine with delimited continuations.","volume-title":"Proceedings of International Conference on Advances in Communication Network and Computing Advances in Engineering and Technology Series","author":"Nomura","year":"2014","unstructured":"[12] Nomura, K., & Nishizaki, S. (2014). Simple abstract machine with delimited continuations. Proceedings of International Conference on Advances in Communication, Network, and Computing, Advances in Engineering and Technology Series (pp. 371\u2013380)."},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.2316\/journal.213.2012.1.213-1001"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-4-431-54436-4_3"}],"container-title":["Journal of Software"],"original-title":[],"link":[{"URL":"http:\/\/www.jsoftware.us\/vol11\/138-S008.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,2]],"date-time":"2019-09-02T20:46:47Z","timestamp":1567457207000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.jsoftware.us\/index.php?m=content&c=index&a=show&catid=164&id=2600"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"references-count":13,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2016]]}},"URL":"https:\/\/doi.org\/10.17706\/jsw.11.2.220-229","relation":{},"ISSN":["1796-217X"],"issn-type":[{"type":"electronic","value":"1796-217X"}],"subject":[],"published":{"date-parts":[[2016]]}}}