{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T23:29:20Z","timestamp":1759879760448,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T00:00:00Z","timestamp":1569369600000},"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,9,25]]},"DOI":"10.1145\/3412932.3412934","type":"proceedings-article","created":{"date-parts":[[2021,7,15]],"date-time":"2021-07-15T16:08:45Z","timestamp":1626365325000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Mystery functions"],"prefix":"10.1145","author":[{"given":"Olivier","family":"Danvy","sequence":"first","affiliation":[{"name":"National University of Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,7,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-6320-7"},{"key":"e_1_3_2_1_2_1","first-page":"35","article-title":"The relativity of wrong","volume":"14","author":"Asimov Isaac","year":"1989","unstructured":"Isaac Asimov . 1989 . The relativity of wrong . The Skeptical Inquirer 14 , 1 (1989), 35 -- 44 . Isaac Asimov. 1989. The relativity of wrong. The Skeptical Inquirer 14, 1 (1989), 35--44.","journal-title":"The Skeptical Inquirer"},{"key":"e_1_3_2_1_3_1","unstructured":"YvesBertot. 2006. Coq in a hurry. CoRR. http:\/\/arxiv.org\/abs\/cs\/0603118v2.  YvesBertot. 2006. Coq in a hurry. CoRR. http:\/\/arxiv.org\/abs\/cs\/0603118v2."},{"volume-title":"Interactive Theorem Proving and Program Development","author":"Bertot Yves","key":"e_1_3_2_1_4_1","unstructured":"Yves Bertot and Pierre Cast\u00e9ran . 2004. Interactive Theorem Proving and Program Development . Springer . Yves Bertot and Pierre Cast\u00e9ran. 2004. Interactive Theorem Proving and Program Development. Springer."},{"key":"e_1_3_2_1_5_1","volume-title":"Introduction to Functional Programming","author":"Bird Richard","unstructured":"Richard Bird and Philip Wadler . 1988. Introduction to Functional Programming ( 1 st ed.). Prentice-Hall International . Richard Bird and Philip Wadler. 1988. Introduction to Functional Programming (1st ed.). Prentice-Hall International.","edition":"1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/181648.181654"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129596002150"},{"volume-title":"Advanced Functional Programming, Sixth International School (Lecture Notes in Computer Science)","author":"Danvy Olivier","key":"e_1_3_2_1_8_1","unstructured":"Olivier Danvy . 2008. From Reduction-Based to Reduction-Free Normalization . In Advanced Functional Programming, Sixth International School (Lecture Notes in Computer Science) , Pieter Koopman, Rinus Plasmeijer, and Doaitse Swierstra (Eds.). Springer , 66--164. Lecture notes including 70+ exercises. Olivier Danvy. 2008. From Reduction-Based to Reduction-Free Normalization. In Advanced Functional Programming, Sixth International School (Lecture Notes in Computer Science), Pieter Koopman, Rinus Plasmeijer, and Doaitse Swierstra (Eds.). Springer, 66--164. Lecture notes including 70+ exercises."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086339.1086340"},{"key":"e_1_3_2_1_10_1","volume-title":"Friedman and Carl Eastlund","author":"Daniel","year":"2015","unstructured":"Daniel P. Friedman and Carl Eastlund . 2015 . The Little Prover. The MIT Press . Daniel P. Friedman and Carl Eastlund. 2015. The Little Prover. The MIT Press."},{"key":"e_1_3_2_1_11_1","unstructured":"Paul Lockhart (Ed.). 2009. A Mathematician's Lament. Bellevue Literary Press.  Paul Lockhart (Ed.). 2009. A Mathematician's Lament. Bellevue Literary Press."},{"volume-title":"Essential Logic for Computer Science","author":"Page Rex","key":"e_1_3_2_1_12_1","unstructured":"Rex Page and Ruben Gamboa . 2019. Essential Logic for Computer Science . The MIT Press . Rex Page and Ruben Gamboa. 2019. Essential Logic for Computer Science. The MIT Press."},{"volume-title":"Induction and Analogy in Mathematics. Mathematics and Plausible Reasoning","author":"Polya George","key":"e_1_3_2_1_13_1","unstructured":"George Polya . 1954a. Induction and Analogy in Mathematics. Mathematics and Plausible Reasoning , Vol. 1 . Princeton University Press . George Polya. 1954a. Induction and Analogy in Mathematics. Mathematics and Plausible Reasoning, Vol. 1. Princeton University Press."},{"volume-title":"Patterns of Plausible Inference. Mathematics and Plausible Reasoning","author":"Polya George","key":"e_1_3_2_1_14_1","unstructured":"George Polya . 1954b. Patterns of Plausible Inference. Mathematics and Plausible Reasoning , Vol. 2 . Princeton University Press . George Polya. 1954b. Patterns of Plausible Inference. Mathematics and Plausible Reasoning, Vol. 2. Princeton University Press."},{"volume-title":"How to solve it","author":"Polya George","key":"e_1_3_2_1_15_1","unstructured":"George Polya . 1957. How to solve it ( second ed.). Princeton University Press . George Polya. 1957. How to solve it (second ed.). Princeton University Press."},{"key":"e_1_3_2_1_16_1","volume-title":"2nd Summit on Advances in Programming Languages (SNAPL","author":"Pombrio Justin","year":"2017","unstructured":"Justin Pombrio , Shriram Krishnamurthi , and Kathi Fisler . 2017. Teaching Programming Languages by Experimental and Adversarial Thinking . In 2nd Summit on Advances in Programming Languages (SNAPL 2017 ), Benjamin S. Lerner, Rastislav Bod\u00edk , and Shriram Krishnamurthi (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik , 1--9. Justin Pombrio, Shriram Krishnamurthi, and Kathi Fisler. 2017. Teaching Programming Languages by Experimental and Adversarial Thinking. In 2nd Summit on Advances in Programming Languages (SNAPL 2017), Benjamin S. Lerner, Rastislav Bod\u00edk, and Shriram Krishnamurthi (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 1--9."},{"volume-title":"The Education of H*Y*M*A*N K*A*P*L*A*N. Harcourt","author":"Ross Leonard Q.","key":"e_1_3_2_1_17_1","unstructured":"Leonard Q. Ross . 1937. The Education of H*Y*M*A*N K*A*P*L*A*N. Harcourt , Brace & World Inc . Leonard Q. Ross. 1937. The Education of H*Y*M*A*N K*A*P*L*A*N. Harcourt, Brace & World Inc."},{"key":"e_1_3_2_1_18_1","unstructured":"Gian-Carlo Rota. 1996. Indiscrete Thoughts. Birkha\u00fcser.  Gian-Carlo Rota. 1996. Indiscrete Thoughts. Birkha\u00fcser."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Raymond Smullyan. 2015. Reflections. World Scientific.  Raymond Smullyan. 2015. Reflections. World Scientific.","DOI":"10.1142\/9451"},{"volume-title":"Solving Mathematical Problems: A Personal Perspective","author":"Tao Terence","key":"e_1_3_2_1_20_1","unstructured":"Terence Tao . 2006. Solving Mathematical Problems: A Personal Perspective . Oxford University Press . Terence Tao. 2006. Solving Mathematical Problems: A Personal Perspective. Oxford University Press."},{"key":"e_1_3_2_1_21_1","volume-title":"Reflections: On the magic of writing","author":"Jones Diana Wynne","year":"2012","unstructured":"Diana Wynne Jones . 2012 . Reflections: On the magic of writing . David Fickling Books . Diana Wynne Jones. 2012. Reflections: On the magic of writing. David Fickling Books."}],"event":{"name":"IFL '19: Implementation and Application of Functional Languages","acronym":"IFL '19","location":"Singapore Singapore"},"container-title":["Proceedings of the 31st Symposium on Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412932.3412934","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3412932.3412934","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:02Z","timestamp":1750193222000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412932.3412934"}},"subtitle":["making specifications, unit tests, and implementations coexist in the mind of undergraduate students"],"short-title":[],"issued":{"date-parts":[[2019,9,25]]},"references-count":21,"alternative-id":["10.1145\/3412932.3412934","10.1145\/3412932"],"URL":"https:\/\/doi.org\/10.1145\/3412932.3412934","relation":{},"subject":[],"published":{"date-parts":[[2019,9,25]]},"assertion":[{"value":"2021-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}