{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:31:39Z","timestamp":1742985099754,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319661964"},{"type":"electronic","value":"9783319661971"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-66197-1_23","type":"book-chapter","created":{"date-parts":[[2017,8,11]],"date-time":"2017-08-11T21:02:30Z","timestamp":1502485350000},"page":"367-374","source":"Crossref","is-referenced-by-count":0,"title":["Validating the Meta-Theory of Programming Languages (Short Paper)"],"prefix":"10.1007","author":[{"given":"Guglielmo","family":"Fachini","sequence":"first","affiliation":[]},{"given":"Alberto","family":"Momigliano","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,13]]},"reference":[{"issue":"10","key":"23_CR1","doi-asserted-by":"publisher","first-page":"838","DOI":"10.1145\/3022671.2984004","volume":"51","author":"Nada Amin","year":"2016","unstructured":"Amin, N., Tate, R.: Java and Scala\u2019s type systems are unsound: the existential crisis of null pointers. In: OOPSLA 2016, pp. 838\u2013848 (2016)","journal-title":"ACM SIGPLAN Notices"},{"issue":"3","key":"23_CR2","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s10817-011-9225-2","volume":"49","author":"A Chargu\u00e9raud","year":"2012","unstructured":"Chargu\u00e9raud, A.: The locally nameless representation. J. Autom. Reason. 49(3), 363\u2013408 (2012)","journal-title":"J. Autom. Reason."},{"issue":"3","key":"23_CR3","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1017\/S1471068417000035","volume":"17","author":"J Cheney","year":"2017","unstructured":"Cheney, J., Momigliano, A.: $$\\alpha $$Check: a mechanized metatheory model checker. Theory Pract. Log. Program. 17(3), 311\u2013352 (2017)","journal-title":"Theory Pract. Log. Program."},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-319-41135-4_3","volume-title":"Tests and Proofs","author":"J Cheney","year":"2016","unstructured":"Cheney, J., Momigliano, A., Pessina, M.: Advances in property-based testing for $$\\alpha $$Prolog. In: Aichernig, B.K.K., Furia, C.A.A. (eds.) TAP 2016. LNCS, vol. 9762, pp. 37\u201356. Springer, Cham (2016). doi: 10.1007\/978-3-319-41135-4_3"},{"key":"23_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-319-07151-0_2","volume-title":"Functional and Logic Programming","author":"K Claessen","year":"2014","unstructured":"Claessen, K., Dureg\u00e5rd, J., Pa\u0142ka, M.H.: Generating constrained random data with uniform distribution. In: Codish, M., Sumii, E. (eds.) FLOPS 2014. LNCS, vol. 8475, pp. 18\u201334. Springer, Cham (2014). doi: 10.1007\/978-3-319-07151-0_2"},{"issue":"9","key":"23_CR6","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/357766.351266","volume":"35","author":"Koen Claessen","year":"2000","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: ICFP 2000, pp. 268\u2013279. ACM (2000)","journal-title":"ACM SIGPLAN Notices"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Dureg\u00e5rd, J., Jansson, P., Wang, M.: Feat: functional enumeration of algebraic types. In: Voigtl\u00e4nder, J. (ed.) Haskell Workshop, pp. 61\u201372. ACM (2012)","DOI":"10.1145\/2430532.2364515"},{"key":"23_CR8","volume-title":"Semantics Engineering with PLT Redex","author":"M Felleisen","year":"2009","unstructured":"Felleisen, M., Findler, R.B., Flatt, M.: Semantics Engineering with PLT Redex. MIT Press, Cambridge (2009)"},{"issue":"2","key":"23_CR9","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/1543134.1411292","volume":"44","author":"Colin Runciman","year":"2009","unstructured":"Runciman, C., Naylor, M., Lindblad, F.: Smallcheck and lazy SmallCheck: automatic exhaustive testing for small values. In: Haskell Workshop, pp. 37\u201348 (2008)","journal-title":"ACM SIGPLAN Notices"},{"issue":"1","key":"23_CR10","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1017\/S0956796809990293","volume":"20","author":"P Sewell","year":"2010","unstructured":"Sewell, P., Nardelli, F.Z., Owens, S., Peskine, G., Ridge, T., Sarkar, S., Strnisa, R.: Ott: effective tool support for the working semanticist. J. Funct. Program. 20(1), 71\u2013122 (2010)","journal-title":"J. Funct. Program."},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Visser, E., et al.: A language designer\u2019s workbench: a one-stop-shop for implementation and verification of language designs. In: Onward! 2014, SPLASH 2014, pp. 95\u2013111 (2014)","DOI":"10.1145\/2661136.2661149"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Weirich, S., Yorgey, B.A., Sheard, T.: Binders unbound. In: Chakravarty, M.M.T., Hu, Z., Danvy, O. (eds.) ICFP 2011, pp. 333\u2013345. ACM (2011)","DOI":"10.1145\/2034773.2034818"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66197-1_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T06:03:34Z","timestamp":1569996214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66197-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661964","9783319661971"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66197-1_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}