{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:44:03Z","timestamp":1764783843798,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319296036"},{"type":"electronic","value":"9783319296043"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-29604-3_13","type":"book-chapter","created":{"date-parts":[[2016,2,20]],"date-time":"2016-02-20T07:53:12Z","timestamp":1455954792000},"page":"198-214","source":"Crossref","is-referenced-by-count":3,"title":["Declarative Foreign Function Binding Through Generic Programming"],"prefix":"10.1007","author":[{"given":"Jeremy","family":"Yallop","sequence":"first","affiliation":[]},{"given":"David","family":"Sheets","sequence":"additional","affiliation":[]},{"given":"Anil","family":"Madhavapeddy","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,2,21]]},"reference":[{"key":"13_CR1","first-page":"1","volume-title":"Generic Programming","author":"Thorsten Altenkirch","year":"2003","unstructured":"Altenkirch, T., McBride, C.: Generic programming within dependently typed programming. In: Proceedings of the IFIP TC2\/WG2.1 Working Conference on Generic Programming, pp. 1\u201320 (2003)"},{"key":"13_CR2","unstructured":"Beazley, D.M.: SWIG: An easy to use tool for integrating scripting languages with C and C++. In: USENIX Tcl\/Tk Workshop (1996)"},{"issue":"4","key":"13_CR3","first-page":"265","volume":"10","author":"M Benke","year":"2003","unstructured":"Benke, M., Dybjer, P., Jansson, P.: Universes for generic programs and proofs in dependent type theory. Nord. J. Comput. 10(4), 265\u2013289 (2003)","journal-title":"Nord. J. Comput."},{"issue":"1","key":"13_CR4","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/S1571-0661(05)80452-9","volume":"59","author":"M Blume","year":"2001","unstructured":"Blume, M.: No-longer-foreign: Teaching an ML compiler to speak C \u201cnatively\u201d. Electron. Notes Theoret. Comput. Sci. 59(1), 36\u201352 (2001)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"issue":"5","key":"13_CR5","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1017\/S0956796809007205","volume":"19","author":"J Carette","year":"2009","unstructured":"Carette, J., Kiselyov, O., Shan, C.: Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. J. Funct. Program. 19(5), 509\u2013543 (2009)","journal-title":"J. Funct. Program."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Cheney, J., Hinze, R.: A lightweight implementation of generics and dynamics. In: Haskell 2002, pp. 90\u2013104. ACM, New York (2002)","DOI":"10.1145\/581690.581698"},{"issue":"6","key":"13_CR7","doi-asserted-by":"publisher","first-page":"730","DOI":"10.1145\/236114.236119","volume":"18","author":"O Danvy","year":"1996","unstructured":"Danvy, O., Malmkj\u00e6r, K., Palsberg, J.: Eta-expansion does the trick. ACM Trans. Program. Lang. Syst. 18(6), 730\u2013751 (1996)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"6","key":"13_CR8","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1145\/1064978.1065019","volume":"40","author":"Michael Furr","year":"2005","unstructured":"Furr, M., Foster, J.S.: Checking type safety of foreign function calls. In: PLDI 2005, pp. 62\u201372. ACM, New York (2005)","journal-title":"ACM SIGPLAN Notices"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-76786-2_1","volume-title":"Datatype-Generic Programming","author":"J Gibbons","year":"2007","unstructured":"Gibbons, J.: Datatype-generic programming. In: Backhouse, R., Gibbons, J., Hinze, R., Jeuring, J. (eds.) SSDGP 2006. LNCS, vol. 4719, pp. 1\u201371. Springer, Heidelberg (2007)"},{"issue":"4\u20135","key":"13_CR10","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1017\/S0956796806006022","volume":"16","author":"R Hinze","year":"2006","unstructured":"Hinze, R.: Generics for the masses. J. Funct. Program. 16(4\u20135), 451\u2013483 (2006)","journal-title":"J. Funct. Program."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Karvonen, V.A.J.: Generics for the working ML\u2019er. In: ML 2007. ACM (2007)","DOI":"10.1145\/1292535.1292547"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Kondoh, G., Onodera, T.: Finding bugs in java native interface programs. In: ISSTA 2008, pp. 109\u2013118. ACM (2008)","DOI":"10.1145\/1390630.1390645"},{"key":"13_CR13","unstructured":"Leroy, X., Doligez, D., Frisch, A., Garrigue, J., R\u00e9my, D., Vouillon, J.: The OCaml system (release 3.12): Documentation and user\u2019s manual. In: INRIA, July 2011"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/978-3-662-44202-9_4","volume-title":"ECOOP 2014 \u2013 Object-Oriented Programming","author":"S Li","year":"2014","unstructured":"Li, S., Tan, G.: Finding reference-counting errors in python\/C programs with affine analysis. In: Jones, R. (ed.) ECOOP 2014. LNCS, vol. 8586, pp. 80\u2013104. Springer, Heidelberg (2014)"},{"key":"13_CR15","volume-title":"Programming in Martin-L\u00f6f Type Theory: An Introduction","author":"B Nordstr\u00f6m","year":"1990","unstructured":"Nordstr\u00f6m, B., Petersson, K., Smith, J.M.: Programming in Martin-L\u00f6f Type Theory: An Introduction. Clarendon, New York (1990)"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Vouillon, J.: Lwt: A cooperative thread library. In: ML 2008. ACM (2008)","DOI":"10.1145\/1411304.1411307"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Yang, Z.: Encoding types in ML-like languages. In: ICFP 1998. ACM (1998)","DOI":"10.1145\/289423.289458"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29604-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T11:19:04Z","timestamp":1559387944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29604-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319296036","9783319296043"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29604-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}