{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:59:29Z","timestamp":1743083969603,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642403545"},{"type":"electronic","value":"9783642403552"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-40355-2_6","type":"book-chapter","created":{"date-parts":[[2013,8,30]],"date-time":"2013-08-30T02:59:15Z","timestamp":1377831555000},"page":"60-78","source":"Crossref","is-referenced-by-count":0,"title":["Functional Semantics"],"prefix":"10.1007","author":[{"given":"Pieter","family":"Koopman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Barendregt, H.: The lambda calculus, its syntax and semantics, revised edition. Studies in Logic, vol.\u00a0103. North-Holland (1984)"},{"issue":"5","key":"6_CR2","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.-C.: Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. J. Funct. Program.\u00a019(5), 509\u2013543 (2009)","journal-title":"J. Funct. Program."},{"key":"6_CR3","unstructured":"Curry, H., Feys, R.: Combinatory logic. Studies in Logic and the Foundations of Mathematics Series, vol.\u00a02. North-Holland Publishing Company (1972)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Hinze, R.: Fun with phantom types. In: Gibbons, J., de Moor, O. (eds.) The Fun of Programming, pp. 245\u2013262. Palgrave Macmillan (2003)","DOI":"10.1007\/978-1-349-91518-7_12"},{"key":"6_CR5","unstructured":"Jansen, J.: Functional Web Applications \u2013 Implementation and Use of Client Side Interpreters. PhD thesis, Radboud University Nijmegen, 8 (July 2010) ISBN 978-90-9025436-4"},{"key":"6_CR6","unstructured":"Jansen, J., Koopman, P., Plasmeijer, R.: Efficient interpretation by transforming data types and patterns to functions. In: Nilsson, H. (ed.) Proceedings of the 7th Symposium on Trends in Functional Programming, TFP 2006, Nottingham, UK, April 19-21, pp. 157\u2013172 (2006) ISBN 978-1-84150-188-8"},{"issue":"1","key":"6_CR7","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1145\/1328897.1328475","volume":"43","author":"P. Johann","year":"2008","unstructured":"Johann, P., Ghani, N.: Foundations for structured programming with gadts. SIGPLAN Not.\u00a043(1), 297\u2013308 (2008)","journal-title":"SIGPLAN Not."},{"key":"6_CR8","unstructured":"Koopman, P.: Functional Programs as Executable Specifications. PhD thesis, University of Nijmegen (1990)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-642-17685-2_7","volume-title":"Central European Functional Programming School","author":"P. Koopman","year":"2010","unstructured":"Koopman, P., Plasmeijer, R., Achten, P.: An Effective Methodology for Defining Consistent Semantics of Complex Systems. In: Horv\u00e1th, Z., Plasmeijer, R., Zs\u00f3k, V. (eds.) CEFP 2009. LNCS, vol.\u00a06299, pp. 224\u2013267. Springer, Heidelberg (2010)"},{"issue":"5","key":"6_CR10","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1002\/spe.4380250502","volume":"25","author":"P.W.M. Koopman","year":"1995","unstructured":"Koopman, P.W.M., van Eekelen, M.C.J.D., Plasmeijer, M.J.: Operational machine specification in a functional programming language. Softw., Pract. Exper.\u00a025(5), 463\u2013499 (1995)","journal-title":"Softw., Pract. Exper."},{"key":"6_CR11","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1145\/1173706.1173732","volume-title":"Proceedings of the 5th International Conference on Generative Programming and Component Engineering, GPCE 2006","author":"R. L\u00e4mmel","year":"2006","unstructured":"L\u00e4mmel, R., Ostermann, K.: Software extension and integration with type classes. In: Proceedings of the 5th International Conference on Generative Programming and Component Engineering, GPCE 2006, pp. 161\u2013170. ACM, New York (2006)"},{"issue":"3","key":"6_CR12","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1145\/365230.365257","volume":"9","author":"P.J. Landin","year":"1966","unstructured":"Landin, P.J.: The next 700 programming languages. Commun. ACM\u00a09(3), 157\u2013166 (1966)","journal-title":"Commun. ACM"},{"key":"6_CR13","first-page":"133","volume-title":"Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, PPDP 2006","author":"A. L\u00f6h","year":"2006","unstructured":"L\u00f6h, A., Hinze, R.: Open data types and open functions. In: Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, PPDP 2006, pp. 133\u2013144. ACM, New York (2006)"},{"key":"6_CR14","unstructured":"Middelkoop, A., Dijkstra, A., Swierstra, D.: A leaner specification for GADTs. In: Achten, P., Koopman, P., Moraz\u00e1n, M. (eds.) Trends in Functional Programming, vol.\u00a09, pp. 65\u201380. Intellect (2009) ISBN 978-1-84150-277-9"},{"key":"6_CR15","unstructured":"Nielson, H., Nielson, F.: Semantics with applications: a formal introduction. John Wiley & Sons, Inc. (1992)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-540-48515-5_11","volume-title":"Implementation of Functional Languages","author":"M. Pil","year":"1999","unstructured":"Pil, M.: Dynamic types and type dependent functions. In: Hammond, K., Davie, T., Clack, C. (eds.) IFL 1998. LNCS, vol.\u00a01595, pp. 169\u2013185. Springer, Heidelberg (1999)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Plasmeijer, R., Achten, P., Koopman, P.: iTasks: executable specifications of interactive work flow systems for the web. In: Hinze, R., Ramsey, N. (eds.) Proceedings of the International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, pp. 141\u2013152. ACM Press (2007)","DOI":"10.1145\/1291151.1291174"},{"key":"6_CR18","unstructured":"Plasmeijer, R., Achten, P., Koopman, P.: Generic Functions Dynamically Applied. In: Porkol\u00e1b, Z., Pataki, N. (eds.) Proceedings of Workshop on Generative Technologies, WGT 2010, Paphos, Cyprus, March 27, pp. 1\u20132 (2010)"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Plasmeijer, R., Lijnse, B., Michels, S., Achten, P., Koopman, P.: Task-Oriented Programming in a Pure Functional Language. In: Proceedings of the 2012 ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, PPDP 2012, Leuven, Belgium, pp. 195\u2013206. ACM (September 2012)","DOI":"10.1145\/2370776.2370801"},{"key":"6_CR20","unstructured":"Plasmeijer, R., van Eekelen, M.: Clean language report (version 2.1) (2002), http:\/\/clean.cs.ru.nl"},{"issue":"4","key":"6_CR21","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1023\/A:1010027404223","volume":"11","author":"J. Reynolds","year":"1998","unstructured":"Reynolds, J.: Defunctional interpreters for higher-order programming languages. Higher-Order and Symbolic Computation\u00a011(4), 363\u2013397 (1998)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF01448013","volume":"92","author":"M. Sch\u00f6nfinkel","year":"1924","unstructured":"Sch\u00f6nfinkel, M.: \u00fcber die bausteine der mathematischen logik. Mathematische Annalen\u00a092, 305\u2013316 (1924)","journal-title":"Mathematische Annalen"},{"issue":"4","key":"6_CR23","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1017\/S0956796808006758","volume":"18","author":"W. Swierstra","year":"2008","unstructured":"Swierstra, W.: Data types \u00e0 la carte. J. Funct. Program.\u00a018(4), 423\u2013436 (2008)","journal-title":"J. Funct. Program."},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/1291151.1291159","volume-title":"Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007","author":"D. Syme","year":"2007","unstructured":"Syme, D., Neverov, G., Margetson, J.: Extensible pattern matching via a lightweight language extension. In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, pp. 29\u201340. ACM, New York (2007)"},{"issue":"1","key":"6_CR25","first-page":"31","volume":"9","author":"D.A. Turner","year":"1979","unstructured":"Turner, D.A.: A new implementation technique for applicative languages. Software: Practice and Experience\u00a09(1), 31\u201349 (1979)","journal-title":"Software: Practice and Experience"},{"key":"6_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-15975-4_26","volume-title":"Functional Programming Languages and Computer Architecture","author":"D.A. Turner","year":"1985","unstructured":"Turner, D.A.: Miranda: a non-strict functional language with polymorphic types. In: Jouannaud, J.-P. (ed.) FPCA 1985. LNCS, vol.\u00a0201, pp. 1\u201316. Springer, Heidelberg (1985)"},{"key":"6_CR27","unstructured":"Wadler, P.: The expression problem. Message to Java-genericity Electronic Mailing List (November 1998)"},{"issue":"10","key":"6_CR28","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1145\/507669.507665","volume":"36","author":"M. Zenger","year":"2001","unstructured":"Zenger, M., Odersky, M.: Extensible algebraic datatypes with defaults. SIGPLAN Not.\u00a036(10), 241\u2013252 (2001)","journal-title":"SIGPLAN Not."}],"container-title":["Lecture Notes in Computer Science","The Beauty of Functional Code"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40355-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,5]],"date-time":"2022-03-05T03:47:55Z","timestamp":1646452075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40355-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642403545","9783642403552"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40355-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}