http://permalink.gmane.org/gmane.comp.lang.haskell.general hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://permalink.gmane.org/gmane.comp.lang.haskell.general/19864 <pre>There are still a few days left to write a short talk proposal for the ML workshop 2013! Since there are no official proceedings, this is an ideal venue if you are working on a full submission for some other conference but want to talk about the work early on and get useful community feedback. Hope to see you there, </pre> Daan Leijen 2013-06-18T23:54:26 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19863 <pre>Hello, I'm pleased to announce the release of Juicy.Pixels 3.1 AKA. the "Squeezed juice" release Hackage : http://hackage.haskell.org/package/JuicyPixels GitHub : https://github.com/Twinside/Juicy.Pixels Change list : * Addition of Tiff reading : - 2, 4, 8, 16 bit depth reading (planar and contiguous for each) - CMYK, YCbCr, RGB, Paletted, Greyscale - Uncompressed, PackBits, LZW * Adding basic handling of 16bits pixel types * Some new tiny helper functions (nothing too fancy) * Performances : now between 2x and 3x of the performance of ImageMagick! (some benchmarks at https://soundofapixel.wordpress.com/2013/06/17/juicy-pixels-3-1/ ) Big thanks to Alp Mestanogullari and Jason Dagit who helped making this release possible. Vincent Berthoux _______________________________________________ Haskell mailing list Haskell&lt; at &gt;haskell.org http://www.haskell.org/mailman/listinfo/haskell </pre> Vincent Berthoux 2013-06-18T19:50:21 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19862 <pre>=================================================================== ACM SIGPLAN HASKELL SYMPOSIUM 2013 CALL FOR PANEL DISCUSSIONS Boston, MA, USA, 23-24 September 2013, directly before ICFP http://www.haskell.org/haskell-symposium/2013/ haskell2013&lt; at &gt;easychair.org =================================================================== The ACM SIGPLAN Haskell Symposium 2013 will be colocated with the 2013 International Conference on Functional Programming (ICFP) in Boston, MA, USA. The Haskell Symposium seeks to present original research on Haskell, to discuss practical experience and future development of the language, as well as to promote other forms of denotative programming. This year, the symposium will include a new category of panel discussions, which will subsume past "Future of Haskell" discussions. We solicit proposals for panel discussions, submitted by a moderator who proposes to bring together specific panelists who have agreed to address a specifi</pre> Chung-chieh Shan 2013-06-18T05:18:41 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19861 <pre>Hello, Please, find below the second call for papers for IFL 2013. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL CALL FOR PAPERS 25th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2013 RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS ACM In-Cooperation / ACM SIGPLAN AUGUST 28 - 30 2013 "Landgoed Holthurnsche Hof" http://ifl2013.cs.ru.nl We are proud to announce that the 25th edition of the IFL series returns to its roots at the Radboud University Nijmegen in the Netherlands. The symposium is held from 28th to 30th of August 2013. Scope ----- The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2013 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the </pre> publicityifl< at >gmail.com 2013-06-16T18:58:53 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19860 <pre>*Call for Papers * for the 1st IEEE International Workshop on *Communicating Business Process and Software Models * Quality, Understandability, and Maintainability (CPSM 2013) on *September 23, 2013 *in *Eindhoven, the Netherlands * in conjunction with the 29th International Conference on Software Maintenance (ICSM) Eindhoven, the Netherlands, 22-28 September 2013. *Important Dates * *Submission: *Friday, June 21st, 2013 *Notification: *Tuesday, July 16th, 2013 *Camera-ready: *Tuesday, July 30th, 2013 *Workshop: *September 23rd, 2013 http://www.win.tue.nl/cpsm2013/ In recent years, the fact that models are a means for communication gained more attention in research on process modeling and software modeling. Both communities discuss issues related to models, modeling languages, and their use and perception, such as model understandability, complexity of modeling languages, actual usage of language features, cognitive aspects, human perception and subjective perspectives on models, and related issues.</pre> Natalia Dragan 2013-06-15T01:03:03 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19859 <pre>Please note that the NEW SUBMISSION AND NOTIFICATION DATES! Apologies for multiple copies. ====================================================================== CALL FOR PAPERS WFLP 2013 22nd International Workshop on Functional and (Constraint) Logic Programming 27th Workshop on Logic Programming part of the Kiel Declarative Programming Days 2013 September 11-13, 2013, Kiel, Germany http://www-ps.informatik.uni-kiel.de/wflp2013/ ====================================================================== GENERAL WFLP 2013 is the combination of two workshops of a successful series of annual workshops on declarative programming. The international workshops on functional and logic programming aim at bringing together researchers interested in functional programming, logic programming, as well as their integration. The workshops on (constraint) logic programming serve as the scientific forum</pre> Michael Hanus 2013-06-14T08:44:42 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19857 <pre> Hello, Responding to popular demand, we announce an extension for the Twelfth ACM SIGPLAN Erlang Workshop. New deadline is June 21st. Apologies for any duplicates you may receive. CALL FOR PAPERS ================= Twelfth ACM SIGPLAN Erlang Workshop ----------------------------------------------------------- Boston, Massachusetts, September 28, 2013 Satellite event of the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013) September 25-27, 2013 Erlang is a concurrent, distributed functional programming language aimed at systems with requirements of massive concurrency, soft real time response, fault tolerance, and high availability. It has been available as open source for 15 years, creating a community that actively contributes to its already existing rich set of libraries and applications. Originally created for telecom applications, its usage has spread to other domains including e-commerce, banking, databases, and computer telephony and messaging. Erlang prog</pre> Laura M. Castro 2013-06-13T16:39:29 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19856 <pre>https://github.com/nh2/custom-hackage An (almost trivial) script to generate 00-index.tar.gz which is necessary to run your own `remote-repo`. If you are a company that has to rely on that not everybody with a Hackage account can run arbitrary code on your computer at your next cabal install, and you want to make available only select versions of packages (as opposed to a full hackage mirror), this is for you. Just drop your tars into the directory structure, run the script and serve it over HTTP. </pre> Niklas Hambüchen 2013-06-13T15:09:03 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19855 <pre>[Please post - apologies for multiple copies.] Call for Participation ================================================= SCSS 2013 Symbolic Computation in Software Science 5th International Symposium Castle of Hagenberg, Austria, July 5-6, 2013 Research Institute for Symbolic Computation (RISC) Johannes Kepler University Linz http://www.risc.jku.at/conferences/scss2013/ ================================================= Early registration deadline: June 28 Invited Speakers ---------------- Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria) Wei Li (Beihang University, China) Joel Ouaknine (Oxford University, UK) Accepted Papers --------------- http://www.risc.jku.at/conferences/scss2013/accepted.html </pre> Temur Kutsia 2013-06-13T07:52:33 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19854 <pre>Welcome to issue 270 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of June 2 to 8, 2013. Quotes of the Week * shachaf: getLine :: IO String contains a String in the same way /bin/ls contains a list of files. Top Reddit Stories * Haskell's HLearn library cross-validates more than 400x faster than Java's Weka due to new monoid based algorithm Domain: izbicki.me, Score: 86, Comments: 13 On Reddit: [1] http://goo.gl/dAoe5 Original: [2] http://goo.gl/dLZJv * FP Complete Launches Haskell in Real World Competition with $1,000 Cash Prize Each Month Domain: fpcomplete.com, Score: 80, Comments: 10 On Reddit: [3] http://goo.gl/FthPX Original: [4] http://goo.gl/pzgQ2 * So I write compilers for a living now Domain: evincarofautumn.blogspot.it, Score: 76, Comments: 69 On Reddit: [5] http://goo.gl/hXp0G Original: [6] http://goo.gl/wMaab * Haskell for all: pipes-pa</pre> Daniel Santa Cruz 2013-06-12T23:32:25 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19853 <pre>This CFP and the form for submitting presentation proposals can be found at: http://cufp.org/2013cfp Commercial Users of Functional Programming 2013 Sponsored by SIGPLAN CUFP 2013 Co-located with ICFP 2013 Boston, MA, United States Sep 22-24 Talk Proposal Submission Deadline: 29 June 2013 The annual CUFP workshop is a place where people can see how others are using functional programming to solve real world problems; where practitioners meet and collaborate; where language designers and users can share ideas about the future of their favorite language; and where one can learn practical techniques and approaches for putting functional programming to work. Giving a CUFP Talk If you have experience using functional languages in a practical setting, we invite you to submit a proposal to give a talk at the workshop. We are looking for both experience reports and in-depth technical talk</pre> Simon Marlow 2013-06-12T19:38:53 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19851 <pre>---------------------------------------------------------------------- CALL FOR TALK PROPOSALS HOPE 2013 The 2nd ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 28, 2013 Boston, Massachusetts (the day after ICFP 2013) http://hope2013.mpi-sws.org ---------------------------------------------------------------------- HOPE 2013 aims at bringing together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: st</pre> Hongseok Yang 2013-06-10T07:16:36 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19850 <pre> Hello, Please find below the Final Call for Papers for the Twelfth ACM SIGPLAN Erlang Workshop. Apologies for any duplicates you may receive. CALL FOR PAPERS ================= Twelfth ACM SIGPLAN Erlang Workshop ----------------------------------------------------------- Boston, Massachusetts, September 28, 2013 Satellite event of the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013) September 25-27, 2013 Erlang is a concurrent, distributed functional programming language aimed at systems with requirements of massive concurrency, soft real time response, fault tolerance, and high availability. It has been available as open source for 15 years, creating a community that actively contributes to its already existing rich set of libraries and applications. Originally created for telecom applications, its usage has spread to other domains including e-commerce, banking, databases, and computer telephony and messaging. Erlang programs are today among the largest appli</pre> Laura M. Castro 2013-06-07T23:31:30 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19849 <pre> http://www.kompmaster.org/xyzgxad/qwtziefuviipfth _______________________________________________ Haskell mailing list Haskell&lt; at &gt;haskell.org http://www.haskell.org/mailman/listinfo/haskell </pre> Craig Ugoretz 2013-06-07T22:18:53 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19848 <pre>ACM SIGPLAN Workshop on ML Sunday, September 22, 2013, Boston MA (co-located with ICFP) http://research.microsoft.com/en-us/um/people/daan/mlworkshop2013 ======================================================================= The ML family of programming languages includes dialects known as Standard ML, OCaml, and F#. These languages have inspired a large amount of computer-science research, both practical and theoretical. This workshop aims to provide a forum where users, developers and researchers of ML languages and related technology can interact and discuss ongoing research, open problems and innovative applications. The ML workshop has adopted an informal model since 2010. It is a workshop with presentations selected from submitted abstracts. There are no published proceedings, so any contributions may be submitted for publication elsewhere. We hope that this format encourages the presentation of exciting (if unpolished) research and deliver a lively workshop atmosphere. SCOPE ----- We seek resea</pre> Daan Leijen 2013-06-07T16:05:09 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19847 <pre>===================================================================== Last Call for Papers 15th International Symposium on Principles and Practice of Declarative Programming PPDP 2013 Special Issue of Science of Computer Programming (SCP) Madrid, Spain, September 16-18, 2013 (co-located with LOPSTR 2013) http://users.ugent.be/~tschrijv/PPDP2013/ ====================================================================== PPDP 2013 is a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analysing c</pre> Tom Schrijvers 2013-06-06T16:28:45 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19846 <pre>Welcome to issue 269 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of May 26 to June 1, 2013. Quotes of the Week * neutrino: i've been teaching people about functional programming etc (when I came in there was exactly 0 knowledge about this, after I joined that changed, but not sure in which direction) Top Reddit Stories * Haskell Platform 2013.2.0.0 is out Domain: haskell.org, Score: 103, Comments: 19 On Reddit: [1] http://goo.gl/Iabii Original: [2] http://goo.gl/DniAP * Elm &amp; Prezi: I'm now working on Elm full-time! Domain: elm-lang.org, Score: 96, Comments: 18 On Reddit: [3] http://goo.gl/03Aab Original: [4] http://goo.gl/4o1Xh * ANN: Idris 0.9.8 released Domain: idris-lang.org, Score: 54, Comments: 58 On Reddit: [5] http://goo.gl/PGrXi Original: [6] http://goo.gl/birp8 * Type-Safe Runtime Code Generation with (Typed) Template Haskell Domain: gma</pre> Daniel Santa Cruz 2013-06-06T02:15:25 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19845 <pre>Dores do Indaiá ANA KARINE PAULINO DA SILVA, LUAN VICTOR VASCONCELOS NOBERTO, FRANCISCO MARKAN NOBRE DE SOUZA FILHO, PEDRO SIQUEIRA FONTENELE, JOÃO CARLOS MOREIRA DE CARVALHO, DANIEL MOREIRA ALVES DA SILVA, MARIA JOELMA BEZERRA DA SILVA, JESSICA DE PONTES GOMES. SINELANDIA MARIA DA SILVA, BRENA CARLA DE MELO CAMELO, LUCINEIDE MARIA DA SILVA, HAROLDO PEIXOTO DA JUSTA JUNIOR, RENATA ROCHA DE NEGREIROS. Campestre de Goiás. Aquiraz ALINE PINHO BARROS, LARISSA FORTE VASCONCELOS, FERNANDO DE MORAES RODRIGUES, NEWTON BEVILAQUA DIAS NETO, JOÃO CARLOS MOREIRA DE CARVALHO, CLAYTON DANTAS DE OLIVEIRA, MARIA DA CONCEIÇÃO SIMÕES LOPES, IVANILDO NUNES DA SILVA. SABRINA ISABEL DE OLIVEIRA PAIVA, ELIELSON LEANDRO DE LIMA, MAURICIO CARLOS DE SOUZA FILHO, JOSE WILSON DE CARVALHO FILHO, VITOR GOMES DOS SANTOS. Colniza. Araçuaí ANA KARINE PAULINO DA SILVA, LUAN VICTOR VASCONCELOS NOBERTO, FRANCISCO MARKAN NOBRE DE SOUZA FILHO, PEDRO SIQUEIRA FONTENELE, JOÃO CARLOS MOREIRA DE CARVALHO, DANIEL MOREIRA ALVES DA SILVA</pre> David Anderson 2013-06-05T11:40:41 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19842 <pre>Dear Haskellers, Apologies in case you have received multiple copies. best, Jur =============================================================================== VACANCY : 1x Phd Student in domain specific type error diagnosis for Haskell =============================================================================== The activities of the Software Systems division at Utrecht University include research on programming methodologies, compiler construction, and program analysis, validation, and verification. For information about the research group of Software Technology, see: http://www.cs.uu.nl/wiki/Center Financed by the Netherlands Organisation for Scientific Research (NWO), we currently have a job opening for: * 1x PhD researcher (Ph D student) Software Technology Domain-specific languages (DSLs) have the potential both to reduce the effort of programming, and to result in programs that are easier to understand and maintain. For various good reasons, researchers have proposed to embed DSLs (t</pre> Jurriaan Hage 2013-05-31T13:39:33 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19841 <pre>=============================================================================== VACANCY : 1x Phd Student in domain specific type error diagnosis for Haskell =============================================================================== The activities of the Software Systems division at Utrecht University include research on programming methodologies, compiler construction, and program analysis, validation, and verification. For information about the research group of Software Technology, see: http://www.cs.uu.nl/wiki/Center Financed by the Netherlands Organisation for Scientific Research (NWO), we currently have a job opening for: * 1x PhD researcher (Ph D student) Software Technology Domain-specific languages (DSLs) have the potential both to reduce the effort of programming, and to result in programs that are easier to understand and maintain. For various good reasons, researchers have proposed to embed DSLs (then called EDSLs) into a general purpose host language. An important disadvantage o</pre> publicityifl< at >gmail.com 2013-05-31T12:02:14 http://permalink.gmane.org/gmane.comp.lang.haskell.general/19840 <pre>Welcome to issue 268 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of May 12 to 25, 2013. Quotes of the Week * tikhonjelvis: the lesson is that the fix function exists to "fix" any type problems you may encounter * shachaf: The trouble with peano arithmetic is that it stops at 88. * Peaker: Python's dynamic nature adds slowness and unsafety, but doesn't actually make things more expressive * sj4nz: Programming in weakly-typed languages forever after will feel like working with punch cards. Send in your program to the nodejs interpreter and hope for a result to come back. * xplat: if you want to carry your machete all the time and not make people nervous, you need to constantly blaze trails * otters: heh, F# is just the unboxed version of F * quchen: This was the first time in months that I thought imperatively. Conclusion: 1. it complicated things, 2. it was refreshi</pre> Daniel Santa Cruz 2013-05-31T01:29:00 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.lang.haskell.general