{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,30]],"date-time":"2024-06-30T00:16:19Z","timestamp":1719706579839},"reference-count":132,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2010,11,1]],"date-time":"2010-11-01T00:00:00Z","timestamp":1288569600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order Symb Comput"],"published-print":{"date-parts":[[2010,11]]},"DOI":"10.1007\/s10990-011-9074-z","type":"journal-article","created":{"date-parts":[[2011,6,13]],"date-time":"2011-06-13T10:30:09Z","timestamp":1307961009000},"page":"465-487","source":"Crossref","is-referenced-by-count":2,"title":["Trends in Trends in Functional Programming 1999\/2000 versus 2007\/2008"],"prefix":"10.1007","volume":"23","author":[{"given":"Peter","family":"Achten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marko","family":"van Eekelen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pieter","family":"Koopman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco T.","family":"Moraz\u00e1n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,6,14]]},"reference":[{"issue":"2","key":"9074_CR1","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/103135.103138","volume":"13","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Cardelli, L., Pierce, B., Plotkin, G.: Dynamic typing in a statically typed language. ACM Trans. Program. Lang. Syst. 13(2), 237\u2013268 (1991)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9074_CR2","volume-title":"Proceedings of the 3rd Workshop on ML and Its Applications, WML \u201992","author":"M. Abadi","year":"1992","unstructured":"Abadi, M., Cardelli, L., Pierce, B., Plotkin, G., R\u00e8my, D.: Dynamic typing in polymorphic languages. In: Proceedings of the 3rd Workshop on ML and Its Applications, WML \u201992, San Francisco, CA, USA, June 1992"},{"key":"9074_CR3","series-title":"Trends in Functional Programming","volume-title":"Trends in Functional Programming","year":"2009","unstructured":"Achten, P., Koopman, P., Moraz\u00e1n, M. (eds.): Trends in Functional Programming. Trends in Functional Programming, vol.\u00a09. Intellect, Nijmegen (2009)"},{"key":"9074_CR4","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/317636.317774","volume-title":"ICFP \u201999: Proceedings of the 4th ACM SIGPLAN International Conference on Functional Programming","author":"A. Aiken","year":"1999","unstructured":"Aiken, A.: Modern languages for modern parallel computing (invited lecture, abstract only). In: ICFP \u201999: Proceedings of the 4th ACM SIGPLAN International Conference on Functional Programming, New York, NY, USA, p. 8. ACM, New York (1999)"},{"key":"9074_CR5","series-title":"Trends in Functional Programming","first-page":"126","volume-title":"Trends in Functional Programming","author":"P. Baker","year":"1999","unstructured":"Baker, P., Jervis, C., King, D.J.: An industrial use of FP: a tool for generating test scripts from system specifications. In: Michaelson, G., Trinder, P.W., Loidl, H.-W. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a01, pp.\u00a0126\u2013134. Intellect, Nijmegen (1999)"},{"key":"9074_CR6","series-title":"Trends in Functional Programming","first-page":"154","volume-title":"Trends in Functional Programming","author":"C.A. Baker-Finch","year":"1999","unstructured":"Baker-Finch, C.A.: An abstract machine for parallel lazy evaluation. In: Michaelson, G., Trinder, P.W., Loidl, H.-W. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a01, pp.\u00a0154\u2013160. Intellect, Stirling (1999)"},{"key":"9074_CR7","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1145\/351240.351256","volume-title":"ACM-SIGPLAN International Conference on Functional Programming (ICFP\u201900)","author":"C.A. Baker-Finch","year":"2000","unstructured":"Baker-Finch, C.A., King, D.J., Trinder, P.W.: An operational semantics for parallel lazy evaluation. In: ACM-SIGPLAN International Conference on Functional Programming (ICFP\u201900), pp.\u00a0162\u2013173. ACM, New York (2000)"},{"key":"9074_CR8","series-title":"Trends in Functional Programming","first-page":"115","volume-title":"Trends in Functional Programming","author":"A. Bakewell","year":"2000","unstructured":"Bakewell, A., Runciman, C.: The space usage problem: an evaluation kit for graph reduction semantics. In: Gilmore, S. (ed.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a02, pp.\u00a0115\u2013128. Intellect\/University of St. Andrews, St. Andrews (2000)"},{"key":"9074_CR9","series-title":"Trends in Functional Programming","first-page":"29","volume-title":"Trends in Functional Programming","author":"O. Ballereau","year":"1999","unstructured":"Ballereau, O., Loulergue, F., Hains, G.: High level BSP programming: BSML and BS\u03bb. In: Michaelson, G., Trinder, P.W., Loidl, H.-W. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a01, pp.\u00a029\u201340. Intellect, Nijmegen (1999)"},{"key":"9074_CR10","unstructured":"Bernstein, K.L., Stark, E.W.: Debugging type errors (full version). Technical report, State University of New York at Stony Brook, Computer Science Department, November 1995"},{"key":"9074_CR11","volume-title":"Texts in Theoretical Computer Science","author":"Y. Bertot","year":"2004","unstructured":"Bertot, Y., Caster\u00e1n, P.: Interactive theorem proving and program development. Coq\u2019art: the calculus of inductive constructions. In: Texts in Theoretical Computer Science. Springer, Berlin (2004)"},{"key":"9074_CR12","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1145\/1481848.1481857","volume-title":"PLPV \u201909: Proceedings of the 3rd Workshop on Programming Languages Meets Program Verification","author":"A. Bove","year":"2008","unstructured":"Bove, A., Dybjer, P., Sicard-Ram\u00edrez, A.: Embedding a logical theory of constructions in Agda. In: PLPV \u201909: Proceedings of the 3rd Workshop on Programming Languages Meets Program Verification, New York, NY, USA, pp.\u00a059\u201366. ACM, New York (2008)"},{"issue":"1","key":"9074_CR13","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1145\/321864.321875","volume":"22","author":"R.S. Boyer","year":"1975","unstructured":"Boyer, R.S., Strother Moore, J.: Proving theorems about LISP functions. J. Assoc. Comput. Mach. 22(1), 129\u2013144 (1975)","journal-title":"J. Assoc. Comput. Mach."},{"key":"9074_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/11942634_16","volume-title":"Proceedings 18th International Symposium on the Implementation of Functional Languages, IFL\u201906\u2014Revised Selected Papers","author":"E. Brady","year":"2006","unstructured":"Brady, E.: Ivor, a proof engine. In: Proceedings 18th International Symposium on the Implementation of Functional Languages, IFL\u201906\u2014Revised Selected Papers, Budapest, Hungary, September 2006. Lecture Notes in Computer Science, vol.\u00a04449, pp.\u00a0145\u2013162. Springer, Berlin (2006)"},{"key":"9074_CR15","series-title":"Trends in Functional Programming","first-page":"159","volume-title":"Trends in Functional Programming","author":"E. Brady","year":"2007","unstructured":"Brady, E., McKinna, J., Hammond, K.: Constructing correct circuits: verification of functional aspects of hardware specifications with dependent types. In: Moraz\u00e1n, M.T. (ed.) Trends in Functional Programming, New York City, USA, April 2\u20134, 2007. Trends in Functional Programming, vol.\u00a08, pp.\u00a0159\u2013176. Intellect\/The University of Chicago Press, Bristol\/Chicago (2007)"},{"key":"9074_CR16","series-title":"Trends in Functional Programming","first-page":"161","volume-title":"Trends in Functional Programming","author":"E. Brady","year":"2009","unstructured":"Brady, E., Herrmann, C., Hammond, K.: Lightweight invariants with full dependent types. In: Achten, P., Koopman, P., Moraz\u00e1n, M. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a09, pp.\u00a0161\u2013177. Intellect, Nijmegen (2009)"},{"key":"9074_CR17","series-title":"Trends in Functional Programming","first-page":"27","volume-title":"Trends in Functional Programming","author":"D.F. Brown","year":"2000","unstructured":"Brown, D.F., Garmendia-Doval, A.B., McCall, J.A.W.: A functional framework for the implementation of genetic algorithms: comparing Haskell and standard ML. In: Gilmore, S. (ed.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a02, pp.\u00a027\u201338. Intellect\/University of St. Andrews, St.\u00a0Andrews (2000)"},{"key":"9074_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/978-3-642-00590-9_14","volume-title":"Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009","author":"B. Campbell","year":"2009","unstructured":"Campbell, B.: Amortised memory analysis using the depth of data structures. In: Castagna, G. (ed.) Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009. Lecture Notes in Computer Science, vol.\u00a05502, pp.\u00a0190\u2013204. Springer, Berlin (2009)"},{"key":"9074_CR19","series-title":"Trends in Functional Programming","first-page":"1","volume-title":"Trends in Functional Programming","author":"B. Campbell","year":"2009","unstructured":"Campbell, B.: Prediction of linear memory usage for first-order functional programs\u2014best student paper. In: Achten, P., Koopman, P., Moraz\u00e1n, M. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a09, pp.\u00a01\u201316. Intellect, Nijmegen (2009)"},{"key":"9074_CR20","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1145\/507635.507659","volume-title":"ICFP \u201901: Proceedings of the 6th ACM SIGPLAN International Conference on Functional Programming","author":"O. Chitil","year":"2001","unstructured":"Chitil, O.: Compositional explanation of types and algorithmic debugging of type errors. In: ICFP \u201901: Proceedings of the 6th ACM SIGPLAN International Conference on Functional Programming, New York, NY, USA, pp.\u00a0193\u2013204. ACM Press, New York (2001)"},{"key":"9074_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-87599-4","volume-title":"FLOPS \u201908: Proceedings of the 9th International Symposium on Functional and Logic Programming","author":"J. Christiansen","year":"2008","unstructured":"Christiansen, J., Fischer, S.: Easycheck\u2014test data for free. In: FLOPS \u201908: Proceedings of the 9th International Symposium on Functional and Logic Programming. Lecture Notes in Computer Science, vol.\u00a04989. Springer, Berlin (2008)"},{"key":"9074_CR22","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1145\/351240.351266","volume-title":"Proceedings of the 5th International Conference on Functional Programming, ICFP \u201900","author":"K. Claessen","year":"2000","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: Proceedings of the 5th International Conference on Functional Programming, ICFP \u201900, Montreal, Canada, pp.\u00a0268\u2013279. ACM Press, New York (2000)"},{"key":"9074_CR23","series-title":"Research Monographs in Parallel and Distributed Computing","volume-title":"Algorithmic Skeletons: Structured Management of Parallelism","author":"M. Cole","year":"1989","unstructured":"Cole, M.: Algorithmic Skeletons: Structured Management of Parallelism. Research Monographs in Parallel and Distributed Computing. MIT Press, Cambridge (1989)"},{"key":"9074_CR24","series-title":"Trends in Functional Programming","first-page":"124","volume-title":"Trends in Functional Programming","author":"S. Conchon","year":"2007","unstructured":"Conchon, S., Filli\u00e2tre, J.-C., Signoles, J.: Designing a generic graph library using ML functors. In: Moraz\u00e1n, M.T. (ed.) Trends in Functional Programming, New York City, USA, April 2\u20134, 2007. Trends in Functional Programming, vol.\u00a08, pp.\u00a0124\u2013140. Intellect\/The University of Chicago Press, Bristol\/Chicago (2007)"},{"key":"9074_CR25","volume-title":"Implementing Mathematics with the Nuprl Proof Development System","author":"R.L. Constable","year":"1995","unstructured":"Constable, R.L., Allen, S.F., Bromley, H.M., Cleaveland, W.R., Cremer, J.F., Harper, R.W., Howe, D.J., Knoblock, T.B., Mendler, N.P., Panangaden, P., Sasaki, J.T., Smith, S.F.: Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall\/Cornell University, Ithaca (1995)"},{"key":"9074_CR26","volume-title":"Proceedings of the 5th International Symposium on Formal Methods for Components and Objects, FMCO \u201906","author":"E. Cooper","year":"2006","unstructured":"Cooper, E., Lindley, S., Wadler, P., Yallop, J.: Links: web programming without tiers. In: Proceedings of the 5th International Symposium on Formal Methods for Components and Objects, FMCO \u201906, CWI, Amsterdam, The Netherlands, 7\u201310 November 2006, vol.\u00a04709. Springer, Berlin (2006)."},{"key":"9074_CR27","unstructured":"Courtney, A.: Modeling user interfaces in a functional language. PhD thesis, Yale University, May 2004"},{"key":"9074_CR28","series-title":"Trends in Functional Programming","first-page":"145","volume-title":"Trends in Functional Programming","author":"E. Covino","year":"2009","unstructured":"Covino, E., Pani, G.: Complexity certification of C++ template metaprogramming. In: Achten, P., Koopman, P., Moraz\u00e1n, M. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a09, pp.\u00a0145\u2013160. Intellect, Nijmegen (2009)"},{"key":"9074_CR29","series-title":"Trends in Functional Programming","first-page":"145","volume-title":"Trends in Functional Programming","author":"S. Curtis","year":"2000","unstructured":"Curtis, S.: An application of functional programming: quilting. In: Gilmore, S. (ed.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a02, pp.\u00a0145\u2013158. Intellect\/University of St. Andrews, St. Andrews (2000)"},{"key":"9074_CR30","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1145\/582153.582176","volume-title":"Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL\u201982","author":"L. Damas","year":"1982","unstructured":"Damas, L., Milner, R.: Principal type schemes for functional programs. In: Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL\u201982, pp.\u00a0207\u2013212. ACM, New York (1982)"},{"key":"9074_CR31","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1145\/1111037.1111056","volume-title":"POPL\u201906: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"N.A. Danielsson","year":"2006","unstructured":"Danielsson, N.A., Hughes, J., Jansson, P., Gibbons, J.: Fast and loose reasoning is morally correct. In: POPL\u201906: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New York, NY, USA, pp.\u00a0206\u2013217. ACM, New York (2006)"},{"issue":"1","key":"9074_CR32","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1145\/1327452.1327492","volume":"51","author":"J. Dean","year":"2008","unstructured":"Dean, J., Ghemawat, S.: MapReduce: simplified data processing on large clusters. Commun. ACM 51(1), 107\u2013113 (2008)","journal-title":"Commun. ACM"},{"key":"9074_CR33","series-title":"Trends in Functional Programming","first-page":"135","volume-title":"Trends in Functional Programming","author":"W. Dosch","year":"1999","unstructured":"Dosch, W., Wiedemann, B.: List homomorphisms with accumulation and indexing. In: Michaelson, G., Trinder, P.W., Loidl, H.-W. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a01, pp.\u00a0135\u2013143. Intellect, Nijmegen (1999)"},{"key":"9074_CR34","first-page":"49","volume-title":"Workshop on ML","author":"D. Duggan","year":"1998","unstructured":"Duggan, D.: Correct type explanation. In: Workshop on ML, pp.\u00a049\u201358. ACM SIGPLAN, New York (1998)"},{"key":"9074_CR35","series-title":"Trends in Functional Programming","first-page":"1","volume-title":"Trends in Functional Programming","author":"K.-F. Fax\u00e9n","year":"2000","unstructured":"Fax\u00e9n, K.-F.: The costs and benefits of cloning in a lazy functional language. In: Gilmore, S. (ed.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a02, pp.\u00a01\u201312. Intellect\/University of St. Andrews, St. Andrews (2000)"},{"key":"9074_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-17943-7_125","volume-title":"Parallel Architectures and Languages Europe, Volume 1: Parallel Architectures, PARLE 1987","author":"J. Gaudiot","year":"1987","unstructured":"Gaudiot, J., Lee, L.: Multiprocessor systems programming in a high-level data-flow language. In: Parallel Architectures and Languages Europe, Volume 1: Parallel Architectures, PARLE 1987. Lecture Notes in Computer Science, vol.\u00a0258, pp.\u00a0134\u2013151 (1987)"},{"key":"9074_CR37","series-title":"Advances in Parallel Computing","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0927-5452(04)80015-7","volume-title":"Parallel Computing: Software Technology, Algorithms, Architectures and Applications, PARCO 2003","author":"F. Gava","year":"2004","unstructured":"Gava, F., Loulergue, F.: Semantics of a functional BSP language with imperative features. In: Joubert, G.R., Nagel, W.E., Peters, F.J., Walter, W.V. (eds.) Parallel Computing: Software Technology, Algorithms, Architectures and Applications, PARCO 2003, Dresden, Germany. Advances in Parallel Computing, vol.\u00a013, pp.\u00a095\u2013102. Elsevier, Amsterdam (2004)"},{"key":"9074_CR38","series-title":"Trends in Functional Programming","first-page":"113","volume-title":"Trends in Functional Programming","author":"N. Ghani","year":"2009","unstructured":"Ghani, N., Johann, P.: Short cut fusion for effects. In: Achten, P., Koopman, P., Moraz\u00e1n, M. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a09, pp.\u00a0113\u2013128. Intellect, Nijmegen (2009)"},{"key":"9074_CR39","series-title":"Trends in Functional Programming","first-page":"41","volume-title":"Trends in Functional Programming","author":"S. Gilmore","year":"1999","unstructured":"Gilmore, S.: Deep type inference for mobile functions. In: Michaelson, G., Trinder, P.W., Loidl, H.-W. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a01, pp.\u00a041\u201349. Intellect, Nijmegen (1999)"},{"key":"9074_CR40","series-title":"Trends in Functional Programming","volume-title":"Trends in Functional Programming","year":"2000","unstructured":"Gilmore, S. (ed.): Trends in Functional Programming. Trends in Functional Programming, vol.\u00a02. Intellect\/University of St. Andrews, St. Andrews (2000)"},{"key":"9074_CR41","series-title":"Lecture Notes in Computer Science","first-page":"94","volume-title":"Graph Reduction: Proceedings of a Workshop at Santa F\u00e9, New Mexico","author":"B. Goldberg","year":"1986","unstructured":"Goldberg, B., Hudak, P.: Alfalfa: distributed graph reduction on a hypercube multiprocessor. In: Graph Reduction: Proceedings of a Workshop at Santa F\u00e9, New Mexico. Lecture Notes in Computer Science, vol.\u00a0279, pp.\u00a094\u2013113. Springer, Berlin (1986)"},{"key":"9074_CR42","series-title":"Lecture Notes in Computer Science","first-page":"161","volume-title":"Parallel Lisp: Languages and Systems","author":"R. Goldman","year":"1989","unstructured":"Goldman, R., Gabriel, R., Sexton, C.: Qlisp: an interim report. In: Parallel Lisp: Languages and Systems. Lecture Notes in Computer Science, vol.\u00a0441, pp.\u00a0161\u2013181. Springer, Berlin (1989)"},{"key":"9074_CR43","series-title":"Trends in Functional Programming","first-page":"79","volume-title":"Trends in Functional Programming","author":"M. Green","year":"1999","unstructured":"Green, M., Abdallah, A.E.: Interfacing java with Haskell. In: Michaelson, G., Trinder, P.W., Loidl, H.-W. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a01, pp.\u00a079\u201388. Intellect, Nijmegen (1999)"},{"key":"9074_CR44","series-title":"Trends in Functional Programming","first-page":"54","volume-title":"Trends in Functional Programming","author":"J. Gronski","year":"2007","unstructured":"Gronski, J., Flanagan, C.: Unifying hybrid types and contracts. In: Moraz\u00e1n, M.T. (ed.) Trends in Functional Programming, New York City, USA, April 2\u20134, 2007. Trends in Functional Programming, vol.\u00a08, pp.\u00a054\u201370. Intellect\/The University of Chicago Press, Bristol\/Chicago (2007)"},{"key":"9074_CR45","series-title":"Trends in Functional Programming","first-page":"71","volume-title":"Trends in Functional Programming","author":"G. Grov","year":"2007","unstructured":"Grov, G., Michaelson, G.: Towards a box calculus for hierarchical Hume. In: Moraz\u00e1n, M.T. (ed.) Trends in Functional Programming, New York City, USA, April 2\u20134, 2007. Trends in Functional Programming, vol.\u00a08, pp.\u00a071\u201388. Intellect\/The University of Chicago Press, Bristol\/Chicago (2007)"},{"key":"9074_CR46","series-title":"Trends in Functional Programming","first-page":"81","volume-title":"Trends in Functional Programming","author":"L.-J. Guillemette","year":"2009","unstructured":"Guillemette, L.-J., Monnier, S.: One vote for type families in Haskell! In: Achten, P., Koopman, P., Moraz\u00e1n, M. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a09, pp.\u00a081\u201396. Intellect, Nijmegen (2009)"},{"key":"9074_CR47","first-page":"284","volume-title":"ESOP\u201903: Proceedings of the 12th European Symposium on Programming","author":"C. Haack","year":"2003","unstructured":"Haack, C., Wells, J.B.: Type error slicing in implicitly typed higher-order languages. In: ESOP\u201903: Proceedings of the 12th European Symposium on Programming, Berlin, Heidelberg, pp.\u00a0284\u2013301. Springer, Berlin (2003)"},{"key":"9074_CR48","series-title":"Lecture Notes in Computer Science","first-page":"2","volume-title":"Proceedings of the US\/Japan Workshop on Parallel Lisp: Languages and Systems","author":"R.H. Halstead Jr.","year":"1989","unstructured":"Halstead, R.H. Jr.: New ideas in parallel lisp: language design, implementation, programming tools. In: Proceedings of the US\/Japan Workshop on Parallel Lisp: Languages and Systems. Lecture Notes in Computer Science, vol.\u00a0441, pp.\u00a02\u201357. Springer, Berlin (1989)"},{"key":"9074_CR49","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"R.H. Halstead","year":"1985","unstructured":"Halstead, R.H.: Multilisp: a language for concurrent symbolic computation. ACM Trans. Program. Lang. Syst. 7, 501\u2013538 (1985)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9074_CR50","first-page":"407","volume-title":"Proc. 7th IEEE International Conference on Electronic Control Systems, ICECS 2K","author":"K. Hammond","year":"2000","unstructured":"Hammond, K.: Hume: a concurrent language with bounded time and space behaviour. In: Proc. 7th IEEE International Conference on Electronic Control Systems, ICECS 2K, Lebanon, pp.\u00a0407\u2013411 (2000)"},{"key":"9074_CR51","first-page":"208","volume-title":"HPFC\u201995\u2014High Performance Functional Computing","author":"K. Hammond","year":"1995","unstructured":"Hammond, K., Loidl, H.W., Partridge, A.: Visualising granularity in parallel programs: a graphical winnowing system for Haskell. In: HPFC\u201995\u2014High Performance Functional Computing, pp.\u00a0208\u2013221 (1995)"},{"key":"9074_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1007\/978-3-540-74466-5_49","volume-title":"Euro-Par","author":"K. Hammond","year":"2007","unstructured":"Hammond, K., Al\u00a0Zain, A., Cooperman, G., Petcu, D., Trinder, P.W.: Symgrid: a framework for symbolic computation on the grid. In: Kermarrec, A.-M., Boug\u00e9, L., Priol, T. (eds.) Euro-Par. Lecture Notes in Computer Science, vol.\u00a04641, pp.\u00a0457\u2013466. Springer, Berlin (2007)"},{"key":"9074_CR53","volume-title":"Twelfth Workshop Logic Programming, WLP 1997","author":"M. Hanus","year":"1997","unstructured":"Hanus, M.: Curry: a multi-paradigm declarative language (system description). In: Bry, F., Freitag, B., Seipel, D. (eds.) Twelfth Workshop Logic Programming, WLP 1997, M\u00fcnchen, Germany, 17\u201319\u00a0September 1997"},{"key":"9074_CR54","series-title":"Trends in Functional Programming","first-page":"20","volume-title":"Trends in Functional Programming","author":"Y. Hayashi","year":"1999","unstructured":"Hayashi, Y., Cole, M.: BSP-based cost analysis of skeletal programs. In: Michaelson, G., Trinder, P.W., Loidl, H.-W. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a01, pp.\u00a020\u201328. Intellect, Nijmegen (1999)"},{"key":"9074_CR55","unstructured":"Heeren, B.J.: Top quality type error messages. PhD thesis, Universiteit Utrecht, The Netherlands, September 2005"},{"key":"9074_CR56","first-page":"59","volume-title":"Workshop Proceedings of Immediate Applications of Constraint Programming","author":"B. Heeren","year":"2003","unstructured":"Heeren, B., Hage, J., Swierstra, S.D.: Constraint based type inferencing in helium. In: Silaghi, M.-C., Zanker, M. (eds.) Workshop Proceedings of Immediate Applications of Constraint Programming, Cork, Ireland, September 2003, pp.\u00a059\u201380 (2003)"},{"issue":"3","key":"9074_CR57","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0167-6423(94)00004-2","volume":"22","author":"F. Henglein","year":"1994","unstructured":"Henglein, F.: Dynamic typing: syntax and proof theory. Sci. Comput. Program. 22(3), 197\u2013230 (1994)","journal-title":"Sci. Comput. Program."},{"key":"9074_CR58","series-title":"Trends in Functional Programming","first-page":"1","volume-title":"Trends in Functional Programming","author":"D. Herman","year":"2007","unstructured":"Herman, D., Tomb, A., Flanagan, C.: Space-efficient gradual typing. In: Moraz\u00e1n, M.T. (ed.) Trends in Functional Programming, New York City, USA, April 2\u20134, 2007. Trends in Functional Programming, vol.\u00a08, pp.\u00a01\u201318. Intellect\/The University of Chicago Press, Bristol\/Chicago (2007)"},{"key":"9074_CR59","series-title":"Trends in Functional Programming","first-page":"11","volume-title":"Trends in Functional Programming","author":"F. Hernandez","year":"1999","unstructured":"Hernandez, F., Pe\u00f1a, R., Rubio, F.: From GranSim to paradise. In: Michaelson, G., Trinder, P.W., Loidl, H.-W. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a01, pp.\u00a011\u201319. Intellect, Nijmegen (1999)"},{"key":"9074_CR60","series-title":"Trends in Functional Programming","first-page":"89","volume-title":"Trends in Functional Programming","author":"M. Hidalgo-Herrero","year":"2000","unstructured":"Hidalgo-Herrero, M., Ortega-Mall\u00e9n, Y.: A distributed operational semantics for a parallel functional language. In: Gilmore, S. (ed.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a02, pp.\u00a089\u2013102. Intellect\/University of St. Andrews, St. Andrews (2000)"},{"key":"9074_CR61","first-page":"29","volume":"146","author":"R.J. Hindley","year":"1969","unstructured":"Hindley, R.J.: The principal type scheme of an object in combinatory logic. Trans. Am. Math. Soc. 146, 29\u201360 (1969)","journal-title":"Trans. Am. Math. Soc."},{"key":"9074_CR62","volume-title":"Proceedings of the 30th ACM Symposium on Principles of Programming Languages, POPL","author":"M. Hofmann","year":"2003","unstructured":"Hofmann, M., Jost, S.: Static prediction of heap space usage for first-order functional programs. In: Proceedings of the 30th ACM Symposium on Principles of Programming Languages, POPL, New Orleans. ACM, New York (2003)"},{"key":"9074_CR63","volume-title":"2nd Central European Functional Programming School, CEFP 2007","author":"Z. Horv\u00e1th","year":"2007","unstructured":"Horv\u00e1th, Z., L\u00f6vei, L., Cs\u00f6rnyei, Z., Kozsik, T., V\u00edg, A., Nagy, T., Kir\u00e1ly, R., T\u00f3th, M., Kitlei, R.: Refactoring Erlang programs. In: 2nd Central European Functional Programming School, CEFP 2007, Cluj-Napoca, Romania, June 2007"},{"key":"9074_CR64","volume-title":"Proceedings of the Symposium on Trends in Functional Programming","author":"L. Hu","year":"2009","unstructured":"Hu, L., Hutton, G.: Compiling concurrency correctly: cutting out the middle man. In: Proceedings of the Symposium on Trends in Functional Programming, Kom\u00e1rno, Slovakia, June 2009"},{"key":"9074_CR65","series-title":"Trends in Functional Programming","first-page":"129","volume-title":"Trends in Functional Programming","author":"L. Hu","year":"2009","unstructured":"Hu, L., Hutton, G.: Towards a verified STM. In: Achten, P., Koopman, P., Moraz\u00e1n, M. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a09, pp.\u00a0129\u2013144. Intellect, Nijmegen (2009)"},{"key":"9074_CR66","series-title":"Lecture Notes in Computer Science","first-page":"58","volume-title":"Proceedings of the US\/Japan Workshop on Parallel Lisp: Languages and Systems","author":"T. Ito","year":"1989","unstructured":"Ito, T., Matsui, M.: A parallel lisp language PaiLisp and its kernel specification. In: Proceedings of the US\/Japan Workshop on Parallel Lisp: Languages and Systems. Lecture Notes in Computer Science, vol.\u00a0441, pp.\u00a058\u2013100. Springer, Berlin (1989)"},{"key":"9074_CR67","unstructured":"Joubert, G.R., Nagel, W.E., Peters, F.J., Walter, W.V. (eds.): In: Parallel Computing: Software Technology, Algorithms, Architectures and Applications, PARCO 2003, Dresden, Germany. Advances in Parallel Computing, vol.\u00a013. Elsevier, Amsterdam (2004)"},{"key":"9074_CR68","series-title":"Trends in Functional Programming","first-page":"2","volume-title":"Trends in Functional Programming","author":"U. Klusik","year":"1999","unstructured":"Klusik, U., Pe\u00f1a, R., Segura, C.: Bypassing of channels in Eden. In: Michaelson, G., Trinder, P.W., Loidl, H.-W. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a01, pp.\u00a02\u201310. Intellect, Nijmegen (1999)"},{"key":"9074_CR69","series-title":"Trends in Functional Programming","first-page":"53","volume-title":"Trends in Functional Programming","author":"U. Klusik","year":"2000","unstructured":"Klusik, U., Loogen, R., Priebe, S.: Controlling parallelism and data distribution in Eden. In: Gilmore,\u00a0S. (ed.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a02, pp.\u00a053\u201364. Intellect\/University of St. Andrews, St. Andrews (2000)"},{"issue":"2","key":"9074_CR70","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1667048.1667051","volume":"32","author":"K. Knowles","year":"2010","unstructured":"Knowles, K., Flanagan, C.: Hybrid type checking. ACM Trans. Program. Lang. Syst. 32(2), 1\u201334 (2010)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9074_CR71","isbn-type":"print","first-page":"111","volume-title":"Proceedings of the 5th Symposium on Trends in Functional Programming, TFP \u201903","author":"P. Koopman","year":"2004","unstructured":"Koopman, P., Plasmeijer, R.: Testing reactive systems with Gast. In: Gilmore, S. (ed.) Proceedings of the 5th Symposium on Trends in Functional Programming, TFP \u201903, pp.\u00a0111\u2013129. Intellect Books, Bristol (2004). ISBN 1-84150-122-0","ISBN":"http:\/\/id.crossref.org\/isbn\/1841501220"},{"key":"9074_CR72","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/3-540-44854-3_6","volume-title":"Revised Selected Papers of the 14th International Symposium on the Implementation of Functional Languages, IFL \u201902","author":"P. Koopman","year":"2003","unstructured":"Koopman, P., Alimarine, A., Tretmans, J., Plasmeijer, R.: Gast: generic automated software testing. In: Pe\u00f1a, R., Arts, T. (eds.) Revised Selected Papers of the 14th International Symposium on the Implementation of Functional Languages, IFL \u201902. Lecture Notes in Computer Science, vol.\u00a02670, pp.\u00a084\u2013100. Springer, Berlin (2003)"},{"key":"9074_CR73","series-title":"Trends in Functional Programming","first-page":"19","volume-title":"Trends in Functional Programming","author":"M. Lakin","year":"2007","unstructured":"Lakin, M., Pitts, A.: A metalanguage for structural operational semantics. In: Moraz\u00e1n, M.T. (ed.) Trends in Functional Programming, New York City, USA, April 2\u20134, 2007. Trends in Functional Programming, vol.\u00a08, pp.\u00a019\u201335. Intellect\/The University of Chicago Press, Bristol\/Chicago (2007)"},{"key":"9074_CR74","series-title":"Trends in Functional Programming","first-page":"144","volume-title":"Trends in Functional Programming","author":"R. L\u00e4mmel","year":"1999","unstructured":"L\u00e4mmel, R.: Reuse by program transformation. In: Michaelson, G., Trinder, P.W., Loidl, H.-W. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a01, pp.\u00a0144\u2013153. Intellect, Nijmegen (1999)"},{"key":"9074_CR75","volume-title":"Trends in Functional Programming","author":"H. Li","year":"2005","unstructured":"Li, H., Thompson, S.: Formalisation of Haskell refactorings. In: van Eekelen, M., Hammond, K. (eds.) Trends in Functional Programming (2005)"},{"key":"9074_CR76","series-title":"Trends in Functional Programming","first-page":"105","volume-title":"Trends in Functional Programming","author":"F. Lindblad","year":"2007","unstructured":"Lindblad, F.: Property directed generation of first-order test data. In: Moraz\u00e1n, M.T. (ed.) Trends in Functional Programming, New York City, USA, April 2\u20134, 2007. Trends in Functional Programming, vol.\u00a08, pp.\u00a0105\u2013123. Intellect\/The University of Chicago Press, Bristol\/Chicago (2007)"},{"key":"9074_CR77","series-title":"Trends in Functional Programming","first-page":"39","volume-title":"Trends in Functional Programming","author":"H.-W. Loidl","year":"2000","unstructured":"Loidl, H.-W., Klusik, U., Hammond, K., Loogen, R., Trinder, P.W.: GpH and Eden: comparing two parallel functional languages on a Beowulf cluster. In: Gilmore, S. (ed.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a02, pp.\u00a039\u201352. Intellect\/University of St. Andrews, St.\u00a0Andrews (2000)"},{"key":"9074_CR78","series-title":"Trends in Functional Programming","first-page":"141","volume-title":"Trends in Functional Programming","author":"F. Loitsch","year":"2007","unstructured":"Loitsch, F., Serrano, M.: Hop client-side compilation. In: Moraz\u00e1n, M.T. (ed.) Trends in Functional Programming, New York City, USA, April 2\u20134, 2007. Trends in Functional Programming, vol.\u00a08, pp.\u00a0141\u2013158. Intellect\/The University of Chicago Press, Bristol\/Chicago (2007)"},{"issue":"3","key":"9074_CR79","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1017\/S0956796805005526","volume":"15","author":"R. Loogen","year":"2005","unstructured":"Loogen, R., Ortega-Mall\u00e9n, Y., Pe\u00f1a-Mar\u00ed, R.: Parallel functional programming in Eden. J. Funct. Program. 15(3), 431\u2013475 (2005)","journal-title":"J. Funct. Program."},{"key":"9074_CR80","series-title":"Trends in Functional Programming","first-page":"77","volume-title":"Trends in Functional Programming","author":"F. Loulergue","year":"2000","unstructured":"Loulergue, F.: Parallel composition and bulk synchronous parallel functional programming. In: Gilmore, S. (ed.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a02, pp.\u00a077\u201388. Intellect\/University of St. Andrews, St. Andrews (2000)"},{"issue":"4","key":"9074_CR81","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1142\/S0129626401000701","volume":"11","author":"F. Loulergue","year":"2001","unstructured":"Loulergue, F.: Distributed evaluation of functional BSP programs. Parallel Process. Lett. 11(4), 423\u2013437 (2001)","journal-title":"Parallel Process. Lett."},{"key":"9074_CR82","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"781","DOI":"10.1007\/978-3-540-45209-6_107","volume-title":"Euro-Par 2003","author":"F. Loulergue","year":"2003","unstructured":"Loulergue, F.: Parallel juxtaposition for bulk synchronous parallel ML. In: Euro-Par 2003. Lecture Notes in Computer Science, vol.\u00a02790, pp.\u00a0781\u2013788. Springer, Berlin (2003)"},{"issue":"1\u20133","key":"9074_CR83","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/S0167-6423(99)00029-5","volume":"37","author":"F. Loulergue","year":"2000","unstructured":"Loulergue, F., Hains, G., Foisy, C.: A calculus of functional BSP programs. Sci. Comput. Program. 37(1\u20133), 253\u2013277 (2000)","journal-title":"Sci. Comput. Program."},{"key":"9074_CR84","series-title":"Trends in Functional Programming","first-page":"50","volume-title":"Trends in Functional Programming","author":"B.J. McAdam","year":"1999","unstructured":"McAdam, B.J.: Generalising techniques for type debugging. In: Michaelson, G., Trinder, P.W., Loidl, H.-W. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a01, pp.\u00a050\u201358. Intellect, Nijmegen (1999)"},{"key":"9074_CR85","series-title":"Trends in Functional Programming","first-page":"159","volume-title":"Trends in Functional Programming","author":"B.J. McAdam","year":"2000","unstructured":"McAdam, B.J., Kennedy, A., Benton, N.: Type inference for MLj. In: Gilmore, S. (ed.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a02, pp.\u00a0159\u2013172. University of St.\u00a0Andrews, St.\u00a0Andrews (2000)"},{"key":"9074_CR86","volume-title":"Eiffel: The Language","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Eiffel: The Language. Prentice Hall, New York (1992)"},{"key":"9074_CR87","series-title":"Trends in Functional Programming","volume-title":"Trends in Functional Programming","year":"1999","unstructured":"Michaelson, G., Trinder, P.W., Loidl, H.-W. (eds.): Trends in Functional Programming. Trends in Functional Programming, vol.\u00a01. Intellect, Stirling (1999)"},{"key":"9074_CR88","series-title":"Trends in Functional Programming","first-page":"65","volume-title":"Trends in Functional Programming","author":"A. Middelkoop","year":"2009","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. Trends in Functional Programming, vol.\u00a09, pp.\u00a065\u2013180. Intellect, Nijmegen (2009)"},{"issue":"3","key":"9074_CR89","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R.: A theory of type polymorphism in programming. J. Comput. Syst. Sci. 17(3), 348\u2013375 (1978)","journal-title":"J. Comput. Syst. Sci."},{"key":"9074_CR90","series-title":"Lecture Notes in Computer Science","first-page":"34","volume-title":"Proceedings International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA\u201909","author":"M. Montenegro","year":"2009","unstructured":"Montenegro, M., Pe\u00f1a, R., Segura, C.: A space consumption analysis by abstract interpretation. In: van Eekelen, M., Shkaravska, O. (eds.) Proceedings International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA\u201909, Eindhoven, The Netherlands, November 3, 2009. Lecture Notes in Computer Science, vol.\u00a06324, pp.\u00a034\u201350. Springer, Berlin (2009)"},{"key":"9074_CR91","series-title":"Trends in Functional Programming","volume-title":"Trends in Functional Programming","year":"2007","unstructured":"Moraz\u00e1n, M.T. (ed.): Trends in Functional Programming, New York City, USA, April 2\u20134, 2007. Trends in Functional Programming, vol.\u00a08. Intellect\/The University of Chicago Press, Bristol\/Chicago (2007)"},{"key":"9074_CR92","series-title":"Trends in Functional Programming","first-page":"98","volume-title":"Trends in Functional Programming","author":"M.T. Moraz\u00e1n","year":"1999","unstructured":"Moraz\u00e1n, M.T., Troeger, D.R.: The MT architecture and allocation algorithm. In: Michaelson, G., Trinder, P.W., Loidl, H.-W. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a01, pp.\u00a098\u2013105. Intellect, Nijmegen (1999)"},{"key":"9074_CR93","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1017\/S0956796809007345","volume":"19","author":"S.-C. Mu","year":"2009","unstructured":"Mu, S.-C., Ko, H.-S., Jansson, P.: Algebra of programming in Agda: dependent types for relational program derivation. J. Funct. Program. 19, 545\u2013579 (2009). doi: 10.1017\/S0956796809007345","journal-title":"J. Funct. Program."},{"key":"9074_CR94","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/3-540-54152-7_66","volume-title":"Proc. of Parallel Architectures and Languages Europe, PARLE \u201991","author":"E.G.J.M.H. N\u00f6cker","year":"1991","unstructured":"N\u00f6cker, E.G.J.M.H., Smetsers, J.E.W., van Eekelen, M.C.J.D., Plasmeijer, M.J.: Concurrent CLEAN. In: Proc. of Parallel Architectures and Languages Europe, PARLE \u201991, Eindhoven, the Netherlands. Lecture Notes in Computer Science, vol.\u00a0505, pp.\u00a0202\u2013219. Springer, Berlin (1991)"},{"key":"9074_CR95","unstructured":"Norell, U.: Towards a practical programming language based on dependent type theory. PhD thesis, Chalmers University of Technology (2007)"},{"key":"9074_CR96","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/1411204.1411213","volume-title":"ICFP\u201908: Proceedings of the 2008 SIGPLAN International Conference on Functional Programming","author":"N. Oury","year":"2008","unstructured":"Oury, N., Swierstra, W.: The power of pi. In: ICFP\u201908: Proceedings of the 2008 SIGPLAN International Conference on Functional Programming, pp.\u00a039\u201350 (2008)"},{"key":"9074_CR97","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1145\/1411260.1411264","volume-title":"FDPE \u201908: Proceedings of the 2008 ACM SIGPLAN Workshop on Functional and Declarative Programming in Education","author":"R. Page","year":"2008","unstructured":"Page, R., Eastlund, C., Felleisen, M.: Functional programming and theorem proving for undergraduates: a progress report. In: FDPE \u201908: Proceedings of the 2008 ACM SIGPLAN Workshop on Functional and Declarative Programming in Education, New York, NY, USA, September 21, 2008, pp.\u00a021\u201330. ACM, New York (2008)"},{"key":"9074_CR98","first-page":"81","volume-title":"Proceedings ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM\u201909","author":"A. Pardo","year":"2009","unstructured":"Pardo, A., Fernandes, J.P., Saraiva, J.: Shortcut fusion rules for the derivation of circular and higher-order monadic programs. In: Proceedings ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM\u201909, Savannah, Georgia, USA, January 19\u201320, 2009, pp.\u00a081\u201390 (2009)"},{"key":"9074_CR99","series-title":"Trends in Functional Programming","first-page":"13","volume-title":"Trends in Functional Programming","author":"C. Pareja","year":"2000","unstructured":"Pareja, C., Pe\u00f1a, R., Rubio, F., Segura, C.: Optimizing Eden by transformation. In: Gilmore, S. (ed.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a02, pp.\u00a013\u201326. Intellect\/University of St. Andrews, St. Andrews (2000)"},{"key":"9074_CR100","doi-asserted-by":"crossref","unstructured":"Peyton-Jones, S.: Parallel implementations of functional programming languages. Comput. J. 32(2) (1989)","DOI":"10.1093\/comjnl\/32.2.175"},{"key":"9074_CR101","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/3-540-48515-5_11","volume-title":"Proceedings of the 10th International Symposium on the Implementation of Functional Languages, IFL \u201998","author":"M. Pil","year":"1999","unstructured":"Pil, M.: Dynamic types and type dependent functions. In: Hammond, K., Davie, T., Clack, C. (eds.) Proceedings of the 10th International Symposium on the Implementation of Functional Languages, IFL \u201998, London, UK. Lecture Notes in Computer Science, vol.\u00a01595, pp.\u00a0169\u2013185. Springer, Berlin (1999)"},{"key":"9074_CR102","isbn-type":"print","volume-title":"Functional Programming and Parallel Graph Rewriting","author":"R. Plasmeijer","year":"1993","unstructured":"Plasmeijer, R., van Eekelen, M.: Functional Programming and Parallel Graph Rewriting. Addison-Wesley, Reading (1993). ISBN 0-201-41663-8","ISBN":"http:\/\/id.crossref.org\/isbn\/0201416638"},{"key":"9074_CR103","volume-title":"Proceedings of the 2nd Central European Functional Programming School, CEFP \u201907","author":"R. Plasmeijer","year":"2007","unstructured":"Plasmeijer, R., Achten, P., Koopman, P.: An introduction to iTasks: defining interactive work flows for the web. In: Proceedings of the 2nd Central European Functional Programming School, CEFP \u201907, Cluj-Napoca, Romania, 23\u201330 June 2007"},{"key":"9074_CR104","series-title":"Trends in Functional Programming","first-page":"116","volume-title":"Trends in Functional Programming","author":"F.A. Rabhi","year":"1999","unstructured":"Rabhi, F.A., Lapalme, G., Zomaya, A.Y.: A functional design framework for genetic algorithms. In: Michaelson, G., Trinder, P.W., Loidl, H.-W. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a01, pp.\u00a0116\u2013125. Intellect, Nijmegen (1999)"},{"key":"9074_CR105","isbn-type":"print","first-page":"37","volume-title":"Proceedings of the ACM SIGPLAN 2008 Haskell Symposium","author":"C. Runciman","year":"2009","unstructured":"Runciman, C., Naylor, M., Lindblad, F.: SmallCheck and lazy smallCheck: automatic exhaustive testing for small values. In: Proceedings of the ACM SIGPLAN 2008 Haskell Symposium, New York, NY, USA, pp.\u00a037\u201348. ACM, New York (2009). ISBN: 978-1-60558-064-7","ISBN":"http:\/\/id.crossref.org\/isbn\/9781605580"},{"key":"9074_CR106","series-title":"Trends in Functional Programming","first-page":"49","volume-title":"Trends in Functional Programming","author":"T. Schrijvers","year":"2009","unstructured":"Schrijvers, T., Sulzmann, M.: Confluence for non-full functional dependencies. In: Achten, P., Koopman, P., Moraz\u00e1n, M. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a09, pp.\u00a049\u201364. Intellect, Nijmegen (2009)"},{"key":"9074_CR107","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1145\/1596550.1596599","volume-title":"Proceeding of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP 2009","author":"T. Schrijvers","year":"2009","unstructured":"Schrijvers, T., Peyton Jones, S.L., Sulzmann, M., Vytiniotis, D.: Complete and decidable type inference for GADTs. In: Hutton, G., Tolmach, A.P. (eds.) Proceeding of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP 2009, Edinburgh, Scotland, UK, pp.\u00a0341\u2013352. ACM, New York (2009)"},{"key":"9074_CR108","series-title":"Trends in Functional Programming","first-page":"97","volume-title":"Trends in Functional Programming","author":"N. Sculthorpe","year":"2009","unstructured":"Sculthorpe, N., Nilsson, H.: Optimisation of dynamic, hybrid signal function networks. In: Achten, P., Koopman, P., Moraz\u00e1n, M. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a09, pp.\u00a097\u2013112. Intellect, Nijmegen (2009)"},{"key":"9074_CR109","series-title":"Trends in Functional Programming","first-page":"129","volume-title":"Trends in Functional Programming","author":"J. S\u00e9rot","year":"2000","unstructured":"S\u00e9rot, J.: CAMLFLOW: a CAML to data-flow graph translator. In: Gilmore, S. (ed.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a02, pp.\u00a0129\u2013144. Intellect\/University of St. Andrews, St. Andrews (2000)"},{"key":"9074_CR110","doi-asserted-by":"crossref","first-page":"975","DOI":"10.1145\/1176617.1176756","volume-title":"Proceedings of the 11th International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA \u201906","author":"M. Serrano","year":"2006","unstructured":"Serrano, M., Gallesio, E., Loitsch, F.: Hop, a language for programming the web 2.0. In: Proceedings of the 11th International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA \u201906, Portland, Oregon, USA, 22\u201326 October 2006, pp.\u00a0975\u2013985 (2006)"},{"issue":"3","key":"9074_CR111","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1017\/S0956796897002712","volume":"7","author":"P. Sestoft","year":"1997","unstructured":"Sestoft, P.: Deriving a lazy abstract machine. J. Funct. Program. 7(3), 231\u2013264 (1997)","journal-title":"J. Funct. Program."},{"key":"9074_CR112","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/1852761.1852776","volume-title":"PPPJ\u201910: Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java. ACM Digital Proceedings Series","author":"O. Shkaravska","year":"2010","unstructured":"Shkaravska, O., Kersten, R., van Eekelen, M.: Test-based inference of polynomial loop-bound functions. In: Krall, A., M\u00f6ssenb\u00f6ck, H. (eds.) PPPJ\u201910: Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java. ACM Digital Proceedings Series, pp.\u00a099\u2013108 (2010)"},{"key":"9074_CR113","doi-asserted-by":"crossref","unstructured":"Shkaravska, O., van Eekelen, M., Tamalet, A.: Collected size semantics for functional programs over lists. In: Scholz, S.-B. (ed.) Revised Selected Papers of the 20th International Symposium on the Implementation and Application of Functional Languages, IFL. Lecture Notes in Computer Science, vol.\u00a05836. Springer, Berlin (2010, to appear)","DOI":"10.1007\/978-3-642-24452-0_7"},{"key":"9074_CR114","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1007\/BF00277387","volume":"27","author":"H. S\u00f8ndergaard","year":"1990","unstructured":"S\u00f8ndergaard, H., Sestoft, P.: Referential transparency, definiteness and unfoldability. Acta Inform. 27, 505\u2013517 (1990)","journal-title":"Acta Inform."},{"key":"9074_CR115","series-title":"Trends in Functional Programming","first-page":"89","volume-title":"Trends in Functional Programming","author":"N. Sonmez","year":"2007","unstructured":"Sonmez, N., Perfumo, C., Stipic, S., Cristal, A., Unsal, O.S., Valero, M.: UnreadTVar: extending Haskell software transactional memory for performance. In: Moraz\u00e1n, M.T. (ed.) Trends in Functional Programming, New York City, USA, April 2\u20134, 2007. Trends in Functional Programming, vol.\u00a08, pp.\u00a089\u2013104. Intellect\/The University of Chicago Press, Bristol\/Chicago (2007)"},{"key":"9074_CR116","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1145\/871895.871903","volume-title":"Haskell \u201903: Proceedings of the 2003 ACM SIGPLAN Workshop on Haskell","author":"P.J. Stuckey","year":"2003","unstructured":"Stuckey, P.J., Sulzmann, M., Wazny, J.: Interactive type debugging in Haskell. In: Haskell \u201903: Proceedings of the 2003 ACM SIGPLAN Workshop on Haskell, New York, NY, USA, pp.\u00a072\u201383. ACM, New York (2003)"},{"key":"9074_CR117","series-title":"Trends in Functional Programming","first-page":"17","volume-title":"Trends in Functional Programming","author":"W. Swierstra","year":"2009","unstructured":"Swierstra, W., Altenkirch, T.: Dependent types for distributed arrays\u2014best student paper. In: Achten, P., Koopman, P., Moraz\u00e1n, M. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a09, pp.\u00a017\u201332. Intellect, Nijmegen (2009)"},{"key":"9074_CR118","series-title":"Frontier Series","doi-asserted-by":"crossref","DOI":"10.1145\/107214","volume-title":"Parallel Functional Languages and Compilers","author":"B.K. Szymanski","year":"1991","unstructured":"Szymanski, B.K.: Parallel Functional Languages and Compilers. Frontier Series. ACM, New York (1991)"},{"key":"9074_CR119","series-title":"Trends in Functional Programming","first-page":"33","volume-title":"Trends in Functional Programming","author":"A. Tamalet","year":"2009","unstructured":"Tamalet, A., Shkaravska, O., van Eekelen, M.: Size analysis of algebraic data types. In: Achten, P., Koopman, P., Moraz\u00e1n, M. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a09, pp.\u00a033\u201348. Intellect, Nijmegen (2009)"},{"key":"9074_CR120","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/3-540-45587-6_13","volume-title":"Proceedings of the 4th International Symposium on the Practical Aspects of Declarative Programming, PADL \u201902","author":"P. Thiemann","year":"2002","unstructured":"Thiemann, P.: WASH\/CGI: server-side web scripting with sessions and typed, compositional forms. In: Krishnamurthi, S., Ramakrishnan, R. (eds.) Proceedings of the 4th International Symposium on the Practical Aspects of Declarative Programming, PADL \u201902, Portland, OR, USA, 19\u201320 January 2002. Lecture Notes in Computer Science, vol.\u00a02257, pp.\u00a0192\u2013208. Springer, Berlin (2002)"},{"key":"9074_CR121","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1145\/231379.231392","volume-title":"PLDI \u201996: Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation","author":"P.W. Trinder","year":"1996","unstructured":"Trinder, P.W., Hammond, K., Mattson, J.S. Jr., Partridge, A.S., Peyton Jones, S.L.: GUM: a portable parallel implementation of Haskell. In: PLDI \u201996: Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation, New York, NY, USA, pp.\u00a079\u201388. ACM, New York (1996)"},{"key":"9074_CR122","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1017\/S0956796897002967","volume":"8","author":"P.W. Trinder","year":"1998","unstructured":"Trinder, P.W., Hammond, K., Loidl, H.-W., L, S., Peyton Jones, S.L.: Algorithm + strategy = parallelism. J. Funct. Program. 8, 23\u201360 (1998)","journal-title":"J. Funct. Program."},{"key":"9074_CR123","series-title":"Trends in Functional Programming","volume-title":"Revised Selected Papers from the 6th Symposium on Trends in Functional Programming, TFP 2005","year":"2007","unstructured":"van Eekelen, M.C.J.D. (ed.): Revised Selected Papers from the 6th Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23\u201324 September 2005. Trends in Functional Programming, vol.\u00a06. Intellect, Bristol (2007)"},{"key":"9074_CR124","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/11964681_3","volume-title":"Revised Selected Papers of the 17th International Symposium on the Implementation and Application of Functional Languages, IFL \u201905","author":"M. Eekelen van","year":"2006","unstructured":"van Eekelen, M., de Mol, M.: Proof tool support for explicit strictness. In: Butterfield, A., Grelck, C., Huch, F. (eds.) Revised Selected Papers of the 17th International Symposium on the Implementation and Application of Functional Languages, IFL \u201905, Dublin, Ireland, 19\u201321 September 2006. Lecture Notes in Computer Science, vol.\u00a04015, pp.\u00a037\u201354. Springer, Berlin (2006)"},{"key":"9074_CR125","series-title":"Trends in Functional Programming","first-page":"36","volume-title":"Trends in Functional Programming","author":"M. Eekelen van","year":"2007","unstructured":"van Eekelen, M., Shkaravska, O., van Kesteren, R., Jacobs, B., Poll, E., Smetsers, S.: AHA: amortized heap space usage analysis. In: Moraz\u00e1n, M.T. (ed.) Trends in Functional Programming, New York City, USA, April 2\u20134, 2007. Trends in Functional Programming, vol.\u00a08, pp.\u00a036\u201353. Intellect\/The University of Chicago Press, Bristol\/Chicago (2007)"},{"key":"9074_CR126","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/3-540-44854-3_7","volume-title":"Revised Selected Papers of the 14th International Symposium on the Implementation of Functional Languages, IFL \u201902","author":"M. Vervoort","year":"2003","unstructured":"Vervoort, M., Plasmeijer, R.: Lazy dynamic input\/output in the lazy functional language Clean. In: Pe\u00f1a, R., Arts, T. (eds.) Revised Selected Papers of the 14th International Symposium on the Implementation of Functional Languages, IFL \u201902, Madrid, Spain, September 2003. Lecture Notes in Computer Science, vol.\u00a02670, pp.\u00a0101\u2013117. Springer, Berlin (2003)"},{"issue":"2","key":"9074_CR127","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0304-3975(90)90147-A","volume":"73","author":"P. Wadler","year":"1990","unstructured":"Wadler, P.: Deforestation: transforming programs to eliminate trees. Theor. Comput. Sci. 73(2), 231\u2013248 (1990)","journal-title":"Theor. Comput. Sci."},{"key":"9074_CR128","series-title":"Trends in Functional Programming","first-page":"89","volume-title":"Trends in Functional Programming","author":"C.D. Walton","year":"1999","unstructured":"Walton, C.D.: An abstract machine for memory management. In: Michaelson, G., Trinder, P.W., Loidl, H.-W. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a01, pp.\u00a089\u201397. Intellect, Nijmegen (1999)"},{"key":"9074_CR129","first-page":"38","volume-title":"Proceedings Symposium on Principles of Programming Languages, POPL\u201986","author":"M. Wand","year":"1986","unstructured":"Wand, M.: Finding the source of type errors. In: Proceedings Symposium on Principles of Programming Languages, POPL\u201986, St. Petersburg Beach, Florida, January 1986, pp.\u00a038\u201343. ACM, New York (1986)"},{"key":"9074_CR130","series-title":"Trends in Functional Programming","first-page":"68","volume-title":"Trends in Functional Programming","author":"M. Widera","year":"1999","unstructured":"Widera, M., Beierle, C.: How to combine the benefits of strict and soft typing. In: Michaelson, G., Trinder, P.W., Loidl, H.-W. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a01, pp.\u00a068\u201378. Intellect, Nijmegen (1999)"},{"key":"9074_CR131","series-title":"Trends in Functional Programming","first-page":"173","volume-title":"Trends in Functional Programming","author":"M. Widera","year":"2000","unstructured":"Widera, M., Beierle, C.: Detecting common elements of types. In: Gilmore, S. (ed.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a02, pp.\u00a0173\u2013184. Intellect\/University of St. Andrews, St. Andrews (2000)"},{"key":"9074_CR132","series-title":"Trends in Functional Programming","first-page":"59","volume-title":"Trends in Functional Programming","author":"J. Yang","year":"1999","unstructured":"Yang, J.: Explaining type errors by finding the source of a type conflict. In: Michaelson, G., Trinder, P.W., Loidl, H.-W. (eds.) Trends in Functional Programming. Trends in Functional Programming, vol.\u00a01, pp.\u00a059\u201367. Intellect, Nijmegen (1999)"}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-011-9074-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10990-011-9074-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-011-9074-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T10:24:27Z","timestamp":1686133467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10990-011-9074-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11]]},"references-count":132,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,11]]}},"alternative-id":["9074"],"URL":"https:\/\/doi.org\/10.1007\/s10990-011-9074-z","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"value":"1388-3690","type":"print"},{"value":"1573-0557","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,11]]}}}