{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:40:03Z","timestamp":1750210803082,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,2,19]],"date-time":"2019-02-19T00:00:00Z","timestamp":1550534400000},"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,2,19]]},"DOI":"10.1145\/3316615.3316668","type":"proceedings-article","created":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T12:17:59Z","timestamp":1557749879000},"page":"189-193","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["ML Polymorphism of Linear Lambda Calculus with First-class Continuations"],"prefix":"10.1145","author":[{"given":"Shin-ya","family":"Nishizaki","sequence":"first","affiliation":[{"name":"Tokyo Institute of Technology, Ookayama Meguro, Tokyo, JAPAN"}]}],"member":"320","published-online":{"date-parts":[[2019,2,19]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Proof and types","author":"GIRARD J.-Y.","year":"1989","unstructured":"GIRARD , J.-Y. , AND LAFONT , Y. Proof and types , vol. 7 of Cambridge Tracts in Theoretical Computer Science . Cambridge University Press , 1989 . GIRARD, J.-Y., AND LAFONT, Y. Proof and types, vol. 7 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1989."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1994.316068"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_4_1","volume-title":"Semantics of programming languages: structures and techniques","author":"GUNTER C. A.","year":"1992","unstructured":"GUNTER , C. A. Semantics of programming languages: structures and techniques . The MIT Press , 1992 . GUNTER, C. A. Semantics of programming languages: structures and techniques. The MIT Press, 1992."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3056662.3056693"},{"key":"e_1_3_2_1_7_1","volume-title":"Declarative continuations and categorical duality","author":"FILINSKI A.","year":"1989","unstructured":"FILINSKI , A. Declarative continuations and categorical duality , 1989 . FILINSKI, A. Declarative continuations and categorical duality, 1989."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96714"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1991.151634"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010010314528"},{"key":"e_1_3_2_1_11_1","series-title":"Communications in Computer and Information Science","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/978-3-642-53932-9_23","volume-title":"Information Computing and Applications","author":"NISHIZAKI S.","year":"2013","unstructured":"NISHIZAKI , S. Evaluation strategy and translation of environment calculus . In Information Computing and Applications ( 2013 ), vol. 391 of Communications in Computer and Information Science , Springer , pp. 232 -- 242 . NISHIZAKI, S. Evaluation strategy and translation of environment calculus. In Information Computing and Applications (2013), vol. 391 of Communications in Computer and Information Science, Springer, pp. 232--242."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-4-431-54106-6_13"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-4-431-54436-4_3"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-37621-7_2"},{"key":"e_1_3_2_1_15_1","first-page":"33","volume-title":"R. Process Calculus for Cost Analysis of Process Creation. In Proceedings of the 2012 International Conference on Information Technology and Software Engineering","author":"NISHIZAKI S.","year":"2013","unstructured":"NISHIZAKI , S. , FUJII , M. , AND IKEDA , R. Process Calculus for Cost Analysis of Process Creation. In Proceedings of the 2012 International Conference on Information Technology and Software Engineering ( 2013 ), Lecture Notes in Electrical Engineering, Springer-Verlag Berlin Heidelberg , pp. 33 -- 40 . NISHIZAKI, S., FUJII, M., AND IKEDA, R. Process Calculus for Cost Analysis of Process Creation. In Proceedings of the 2012 International Conference on Information Technology and Software Engineering (2013), Lecture Notes in Electrical Engineering, Springer-Verlag Berlin Heidelberg, pp. 33--40."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.17706\/jsw.11.2.220-229"},{"key":"e_1_3_2_1_17_1","first-page":"70","volume-title":"AIM 2012","volume":"296","author":"OHATA T.","year":"2013","unstructured":"OHATA , T. , AND NISHIZAKI , S. Real-time model checking for regulatory compliance . In AIM 2012 ( 2013 ), vol. 296 of Communications in Computer and Information Science, Springer , pp. 70 -- 77 . OHATA, T., AND NISHIZAKI, S. Real-time model checking for regulatory compliance. In AIM 2012 (2013), vol. 296 of Communications in Computer and Information Science, Springer, pp. 70--77."}],"event":{"name":"ICSCA '19: 2019 8th International Conference on Software and Computer Applications","sponsor":["University of New Brunswick University of New Brunswick"],"location":"Penang Malaysia","acronym":"ICSCA '19"},"container-title":["Proceedings of the 2019 8th International Conference on Software and Computer Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3316615.3316668","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3316615.3316668","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:02:11Z","timestamp":1750208531000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3316615.3316668"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,19]]},"references-count":17,"alternative-id":["10.1145\/3316615.3316668","10.1145\/3316615"],"URL":"https:\/\/doi.org\/10.1145\/3316615.3316668","relation":{},"subject":[],"published":{"date-parts":[[2019,2,19]]},"assertion":[{"value":"2019-02-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}