Sivaramakrishnan, K. C.; Harris, Tim; Marlow, Simon; Peyton Jones, Simon Composable scheduler activations for Haskell. (English) Zbl 1420.68057 J. Funct. Program. 26, Paper No. e9, 39 p. (2016). MSC: 68N20 68N18 68N19 PDFBibTeX XMLCite \textit{K. C. Sivaramakrishnan} et al., J. Funct. Program. 26, Paper No. e9, 39 p. (2016; Zbl 1420.68057) Full Text: DOI
Morihata, Akimasa A short cut to optimal sequences. (English) Zbl 1251.68072 New Generation Comput. 29, No. 1, 31-59 (2011). MSC: 68N18 68N19 68N99 PDFBibTeX XMLCite \textit{A. Morihata}, New Generation Comput. 29, No. 1, 31--59 (2011; Zbl 1251.68072) Full Text: DOI
Henglein, Fritz; Larsen, Ken Friis Generic multiset programming with discrimination-based joins and symbolic Cartesian products. (English) Zbl 1232.68028 High.-Order Symb. Comput. 23, No. 3, 337-370 (2010). MSC: 68N19 68P15 PDFBibTeX XMLCite \textit{F. Henglein} and \textit{K. F. Larsen}, High.-Order Symb. Comput. 23, No. 3, 337--370 (2010; Zbl 1232.68028) Full Text: DOI
McBride, Conor Clowns to the left of me, jokers to the right (pearl), dissecting data structures. (English) Zbl 1295.68161 Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, San Francisco, CA, USA, January 07–12, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-689-9). 287-295 (2008). MSC: 68Q65 68N18 68N19 68P05 68Q42 PDFBibTeX XMLCite \textit{C. McBride}, in: Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '08, San Francisco, CA, USA, January 07--12, 2008. New York, NY: Association for Computing Machinery (ACM). 287--295 (2008; Zbl 1295.68161) Full Text: DOI
Peyton Jones, Simon; Leshchinskiy, Roman; Keller, Gabriele; Chakravarty, Manuel M. T. Harnessing the multicores: nested data parallelism in Haskell. (English) Zbl 1248.68134 Hariharan, Ramesh (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2008), December 9–11, 2008, Bangalore, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-08-8). LIPIcs – Leibniz International Proceedings in Informatics 2, 383-414, electronic only (2008). MSC: 68N18 68N19 68W10 PDFBibTeX XMLCite \textit{S. Peyton Jones} et al., LIPIcs -- Leibniz Int. Proc. Inform. 2, 383--414 (2008; Zbl 1248.68134) Full Text: DOI Link
Ellmenreich, Nils; Lengauer, Christian Costing stepwise refinements of parallel programs. (English) Zbl 1112.68027 Comput. Lang. Syst. Struct. 33, No. 3-4, 134-167 (2007). MSC: 68N19 68Q10 PDFBibTeX XMLCite \textit{N. Ellmenreich} and \textit{C. Lengauer}, Comput. Lang. Syst. Struct. 33, No. 3--4, 134--167 (2007; Zbl 1112.68027) Full Text: DOI
de Carvalho Junior, Francisco Heron; Lins, Rafael Dueire; Lima, Ricardo Massa Ferreira Translating Haskell\(_\#\) programs into Petri nets. (English) Zbl 1027.68518 Palma, José M. L. M. (ed.) et al., High performance computing for computational science - VECPAR 2002. 5th international conference, Porto, Portugal, June 26-28, 2002. Selected papers and invited talks. Berlin: Springer. Lect. Notes Comput. Sci. 2565, 635-649 (2003). MSC: 68N19 68Q85 PDFBibTeX XMLCite \textit{F. H. de Carvalho Junior} et al., Lect. Notes Comput. Sci. 2565, 635--649 (2003; Zbl 1027.68518) Full Text: Link
Ueda, Kazunori A pure meta-interpreter for Flat GHC, a concurrent constraint language. (English) Zbl 1012.68502 Kakas, Antonis C. (ed.) et al., Computational logic: logic programming and beyond. Essays in honour of Robert A. Kowalski. Part 1. Berlin: Springer. Lect. Notes Comput. Sci. 2407, 138-161 (2002). MSC: 68N17 68N15 68N19 PDFBibTeX XMLCite \textit{K. Ueda}, Lect. Notes Comput. Sci. 2407, 138--161 (2002; Zbl 1012.68502) Full Text: Link
Bugliesi, Michele; Pericás-Geertsen, Santiago M. Type inference for variant object types. (English) Zbl 1012.68046 Inf. Comput. 177, No. 1, 2-27 (2002). MSC: 68N19 03B70 PDFBibTeX XMLCite \textit{M. Bugliesi} and \textit{S. M. Pericás-Geertsen}, Inf. Comput. 177, No. 1, 2--27 (2002; Zbl 1012.68046) Full Text: DOI Link
Russell, George Events in Haskell, and how to implement them. (English) Zbl 1323.68152 Proceedings of the 6th ACM SIGPLAN international conference on functional programming, ICFP ’01, Florence, Italy, September 3–5, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-415-0). ACM SIGPLAN Notices 36, No. 10, 157-168 (2001). MSC: 68N18 68N19 PDFBibTeX XMLCite \textit{G. Russell}, in: Proceedings of the 6th ACM SIGPLAN international conference on functional programming, ICFP '01, Florence, Italy, September 3--5, 2001. New York, NY: Association for Computing Machinery (ACM). 157--168 (2001; Zbl 1323.68152) Full Text: DOI
Hinze, Ralf; Jones, Simon Peyton Derivable type classes. (English) Zbl 1262.68028 Hutton, Graham (ed.), 2000 ACM SIGPLAN Haskell workshop (satellite event of PLI 2000), Montreal, Canada, September 17, 2000. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 41, No. 1, 5-35 (2001). MSC: 68N18 68N19 PDFBibTeX XMLCite \textit{R. Hinze} and \textit{S. P. Jones}, Electron. Notes Theor. Comput. Sci. 41, No. 1, 5--35 (2001; Zbl 1262.68028) Full Text: DOI