gmane.comp.lang.haskell.general http://blog.gmane.org/gmane.comp.lang.haskell.general hourly 1 1901-01-01T00:00+00:00 Gmane http://gmane.org/img/gmane-25t.png http://gmane.org Call for Papers IFL 2013 http://comments.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 implementation and application of functional languages and function-based programming. Following the IFL tradition, IFL 2013 will use a post-symposium review process to produce the formal proceedings which will be published in the ACM Digital Library. All participants of IFL 2013 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. Hence, publications that appear only in the draft proceedings do not count as publication for the ACM SIGPLAN republication policy. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity. Invited Speaker --------------- Lennart Augustsson, currently employed by the Standard Chartered Bank, well-known for his work on Haskell, parallel Haskell, Cayenne, and Bluespec, is the invited speaker of IFL 2013. He will be talking about practical applications of functional programming. Submission Details ------------------ Submission deadline draft papers: July 31 Notification of acceptance for presentation: August 2 Early registration deadline: August 7 Late registration deadline: August 14 Submission deadline for pre-symposium proceedings: August 21 25th IFL Symposium: August 28-30 Submission deadline for post-symposium proceedings: November 11 Notification of acceptance for post-symposium proceedings: December 18 Camera-ready version for post-symposium proceedings: February 3 2014 Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must adhere to the standard ACM two columns conference format. For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A suitable document template for LaTeX can be found at: http://www.acm.org/sigs/sigplan/authorInformation.htm Papers are to be submitted via the conference's EasyChair submission page: https://www.easychair.org/conferences/?conf=ifl2013 Topics ------ IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools in the context of functional programming. If you are not sure whether your work is appropriate for IFL 2013, please contact the PC chair at rinus&lt; at &gt;cs.ru.nl. Topics of interest include, but are not limited to: • language concepts • type systems, type checking, type inferencing • compilation techniques • staged compilation • run-time function specialization • run-time code generation • partial evaluation • (abstract) interpretation • metaprogramming • generic programming • automatic program generation • array processing • concurrent/parallel programming • concurrent/parallel program execution • embedded systems • web applications • (embedded) domain specific languages • security • novel memory management techniques • run-time profiling performance measurements • debugging and tracing • virtual/abstract machine architectures • validation, verification of functional programs • tools and programming techniques • (industrial) applications Peter Landin Prize ------------------ The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. Programme committee ------------------- • Thomas Arts, Quviq, Gothenburg, Sweden • Andrew Butterfield, Trinity College, Dublin, Ireland • Edwin Brady, University of St. Andrews, UK • Clemens Grelck, University of Amsterdam, Netherlands • Adam Granicz, IntelliFactory, Budapest, Hungary • Jeremy Gibbons, University of Oxford, UK • Fritz Henglein, University of Copenhagen, Denmark • Stephan Herhut, Intel Labs, Santa Clara, US • Ralf Hinze (co-chair), University of Oxford, UK • Zoltán Horváth, Eötvös Loránd University, Budapest, Hungary • Zhenjiang Hu, University of Tokyo, Japan • Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina • Johan Jeuring, University of Utrecht, Netherlands • Rita Loogen, University of Marburg, Germany • Marco T. Morazán, Seton Hall University, New Jersey, US • Dominic Orchard, University of Cambridge, UK • Rinus Plasmeijer (chair), Radboud University Nijmegen, Netherlands • Tim Sheard, Portland State University, US • Sam Tobin-Hochstadt, Northeastern University / Indiana University, US • Peter Thiemann, University of Freiburg, Germany • Simon Thompson, University of Kent, UK Venue ----- The 25th IFL is organized by the Radboud University Nijmegen, Model Based Software Development Department at the Nijmegen Institute for Computing and Information Sciences. The event is held in the Landgoed “Holthurnsche Hof”, a rural estate in the woodlands surrounding Nijmegen. It can be reached quickly and easily by public transport. _______________________________________________ Haskell mailing list Haskell&lt; at &gt;haskell.org http://www.haskell.org/mailman/listinfo/haskell </pre> publicityifl< at >gmail.com 2013-06-16T18:58:53 Call for Papers - IEEE International Workshop on Communicating Business Process and Software Models (CPSM 2013) co-located with ICSM 2013 http://comments.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. These topics are extremely important for the adaption of modeling languages in practice, yet the attention from the research community is still limited. The CPSM 2013 workshop shall provide a forum for researchers and practitioners actively working on quality, usability and maintainability of software and process models. The workshop supports the exchange of ideas, challenges, and insights from two similar domains with the aim of raising awareness of the important "soft skills" of modeling languages. The workshop will give room to present research results, position papers, case studies and share experiences and ideas in panel discussions. *Relevant topics are * - Business process model quality metrics - Business process maintainability - Business process evolution - Business process modeling styles - Business process modeling patterns and anti-patterns - Business process comprehension - Relation between business process models and software / system models - Software model maintainability - Software model evolution and tracking - Software model and implementation alignment - Software model comprehension - Roles and expertise different modeling activities - Empirical studies on understandability of business processes and software models - Empirical studies on quality of business process and software models - Industrial cases on communication and understandability of process and software models We invite full papers that describe consolidated research results or case studies, as well as short papers outlining researches still in progress or position papers. Submissions will be assessed based on their novelty, relevance, empirical evidence, scientific quality, readability, comparison with existing and related works, and the extent to which the paper allows to build bridges between the different domains of process modeling and software engineering. We specifically want to encourage early results. *Format of the Workshop and Proceedings * The workshop will comprise presentations of accepted papers and keynotes from experienced researchers and practitioners. Moreover, we will organize moderated discussions on hot topics that were raised in the different communities and emerged from the workshop submissions. All accepted papers will be published as *IEEE Workshop Proceedings*. As this volume will appear after the conference, there will be informal proceedings during the workshop. At least one author for each accepted paper must register for the workshop and present the paper. *Paper Submission * Prospective authors are invited to submit papers for presentation in any of the areas listed above. Only papers in English will be accepted. Different paper types are distinguished. Length of full papers (completed research or case study) must not exceed 10 pages. Short papers (work in progress or positions paper) should be no longer than 4 pages. Papers should be submitted in the IEEE style in PDF format, templates are available at https://www.ieee.org/conferences_events/conferences/publishing/templates.html. Papers have to present original research contributions not concurrently submitted elsewhere. The title page must contain a short abstract, a classification of the topics covered, preferably using the list of topics above, and an indication of the submission category (full paper | case study | work in progress | position paper). Papers should be submitted via EasyChair: https://www.easychair.org/conferences/?conf=cpsm2013 *Workshop Website * http://www.win.tue.nl/cpsm2013/ _______________________________________________ Haskell mailing list Haskell&lt; at &gt;haskell.org http://www.haskell.org/mailman/listinfo/haskell </pre> Natalia Dragan 2013-06-15T01:03:03 Call for Papers: WFLP/WLP 2013 http://comments.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 of the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence, and operations research. In this year both workshops will be jointly organized and co-located with the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013) under the umbrella of the Kiel Declarative Programming Days in order to promote the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The technical program of the workshop will include invited talks, presentations of refereed papers and demo presentations. ---------------------------------------------------------------------- TOPICS The topics of interest include (but are not limited to): * Functional programming * Logic programming * Constraint programming * Deductive databases, data mining * Extensions of declarative languages, objects * Multi-paradigm declarative programming * Foundations, semantics, nonmonotonic reasoning, dynamics * Parallelism, concurrency * Program analysis, abstract interpretation * Program transformation, partial evaluation, meta-programming * Specification, verification, declarative debugging * Knowledge representation, machine learning * Interaction of declarative programming with other formalisms (e.g., agents, XML, Java) * Implementation of declarative languages * Advanced programming environments and tools * Software technique for declarative programming * Applications The primary focus is on new and original research results but submissions describing innovative products, prototypes under development, application systems, or interesting experiments (e.g., benchmarks) are also encouraged. ---------------------------------------------------------------------- IMPORTANT DATES Submission of papers: July 7, 2013 (NEW!!!) Notification of acceptance: July 28, 2013 (NEW!!!) Camera-ready papers: August 18, 2013 Workshop: September 11-13, 2013 ---------------------------------------------------------------------- SUBMISSION GUIDELINES Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Papers can be submitted as technical papers or system descriptions. Technical papers should consist of up to 15 pages, system descriptions should be no longer than 6 pages. Formatting should follow the LNCS guidelines. The details about the procedure to submit papers electronically are described on the conference website. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. ---------------------------------------------------------------------- BEST NEWCOMER AWARD An award will be given to the best paper exclusively written by one or several young researchers who have not yet obtained their PhD degrees. Papers written in this category should be clearly marked as a "Student paper" in the submission. ---------------------------------------------------------------------- PROCEEDINGS All accepted papers will be published as a technical report. As for previous events, it is planned to publish selected papers as post-conference proceedings in the Springer LNCS series. Previous proceedings appeared as Springer LNCS volumes 6816 (WFLP 2011), 6559 (WFLP 2010), 5979 (WFLP 2009), 5437 (WLP 2007), and 3392 (WLP 2004). ---------------------------------------------------------------------- PROGRAM COMMITTEE Elvira Albert Universidad Complutense de Madrid, Spain Sergio Antoy Portland State University, USA Francois Bry University of Munich, Germany Juergen Dix University of Clausthal, Germany Rachid Echahed CNRS, University of Grenoble, France Moreno Falaschi Universita di Siena, Italy Sebastian Fischer Kiel, Germany Thom Fruehwirth University of Ulm, Germany Michael Hanus University of Kiel, Germany (Chair) Oleg Kiselyov Monterey (CA), USA Herbert Kuchen University of Muenster, Germany Francisco J. Lopez Fraguas Universidad Complutense de Madrid, Spain Torsten Schaub University of Potsdam, Germany Peter Schneider-Kamp University of Southern Denmark, Denmark Dietmar Seipel University of Wuerzburg, Germany Hans Tompits Vienna University of Technology, Austria German Vidal Universidad Politecnica de Valencia, Spain Janis Voigtlaender University of Bonn, Germany ---------------------------------------------------------------------- CONTACT Michael Hanus University of Kiel, Germany Email: mh&lt; at &gt;informatik.uni-kiel.de ---------------------------------------------------------------------- </pre> Michael Hanus 2013-06-14T08:44:42 [Deadline extension] ACM SIGPLAN Erlang Workshop 2013Final Call For Papers http://comments.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 programs are today among the largest applications written in any functional programming language. These applications offer new opportunities to evaluate functional programming and functional programming methods on a very large scale and suggest new problems for the research community to solve. This workshop will bring together the open source, academic, and industrial programming communities of Erlang. It will enable participants to familiarize themselves with recent developments on new techniques and tools tailored to Erlang, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang and functional programming. We invite three types of submissions. 1. Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). The maximum length for technical papers is restricted to 12 pages. 2. Practice and application papers describing uses of Erlang in the "real-world", Erlang libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve a particular problem. The maximum length for the practice and application papers is restricted to 12 pages. Note that this is a maximum length; we welcome shorter papers also, and the program committee will evaluate all papers on an equal basis independent of their lengths. 3. Poster presentations describing topics related to the workshop goals. Each includes a maximum of 2 pages of the abstract and summary. Presentations in this category will be given an hour of shared simultaneous demonstration time. Workshop Chair ----------------------- Steve Vinoski, Basho Technologies, USA Program Chair ------------------- Laura M. Castro, University of A Coruña, Spain Program Committee ----------------------------- (Note: the Workshop and Program Chairs are also committee members) Lars-Ake Fredlund, Universidad Politécnica de Madrid, Spain Kevin Hammond, University of St. Andrews, UK Torben Hoffman, Erlang Solutions Limited, UK Zoltán Horváth, Eötvös Loránd University, Hungary Kenneth Lundin, Ericsson AB, Sweden Mickaël Rémond, ProcessOne, France Kenji Rikitake, Basho Japan KK, Japan Simon Thompson, University of Kent, UK Important Dates ----------------------- Submission deadline: Fri June 14, 2013 [EXTENDED: Fri June 21, 2013] Author notification: Thu July 11, 2013 Final submission for the publisher: Thu July 25, 2013 Workshop date (tentative, subject to change): September 28, 2013 Instructions to authors -------------------------------- Papers must be submitted online via EasyChair (via the "Erlang2013" event). The submission page is https://www.easychair.org/conferences/?conf=erlang2013 Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. Paper submissions will be considered for poster submission in the case they are not accepted as full papers. Venue &amp; Registration Details ------------------------------------------ For registration, please see the ICFP 2013 web site at: http://icfpconference.org/icfp2013/ Related Links -------------------- ICFP 2013 web site: http://www.icfpconference.org/icfp2013/ Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/ Open Source Erlang: http://www.erlang.org/ EasyChair submission site: https://www.easychair.org/account/signin.cgi?conf=erlang2013 Author Information for SIGPLAN Conferences: http://www.sigplan.org/authorInformation.htm -- Laura M. Castro _______________________________________________ Haskell mailing list Haskell&lt; at &gt;haskell.org http://www.haskell.org/mailman/listinfo/haskell </pre> Laura M. Castro 2013-06-13T16:39:29 ANN: custom-hackage http://comments.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 Haskell Weekly News: Issue 270 http://comments.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-parse-1.0.0: Pushback, delimited parsers, resumable parsing, and lenses Domain: haskellforall.com, Score: 55, Comments: 77 On Reddit: [7] http://goo.gl/U3MzG Original: [8] http://goo.gl/3wEJ7 * "Thank you to the Haskell community for encouraging programmers to explore the relationship between algebra and programming." -- My accepted paper at the International Conference of Machine Learning (ICML13) Domain: jmlr.org, Score: 54, Comments: 3 On Reddit: [9] http://goo.gl/Ni0oF Original: [10] http://goo.gl/klOzM * GHCJS introduction – Concurrent Haskell in the browser, by Luite Stegeman Domain: weblog.luite.com, Score: 54, Comments: 27 On Reddit: [11] http://goo.gl/l9LDH Original: [12] http://goo.gl/avaez * Haskell from C: Where are the for Loops? Domain: fpcomplete.com, Score: 46, Comments: 28 On Reddit: [13] http://goo.gl/YqkSU Original: [14] http://goo.gl/pwYB3 * fficxx - FFI to C++ in Haskell Domain: ianwookim.org, Score: 45, Comments: 12 On Reddit: [15] http://goo.gl/y1awM Original: [16] http://goo.gl/wHF2U * Control.Category: now with kind polymorphism Domain: neocontra.blogspot.com, Score: 42, Comments: 7 On Reddit: [17] http://goo.gl/9gb6f Original: [18] http://goo.gl/ALvld * Pixel art editor in 600 lines of Haskell Domain: github.com, Score: 39, Comments: 5 On Reddit: [19] http://goo.gl/gmFOF Original: [20] http://goo.gl/w8yEg * Haskell for all: pipes-concurrency-1.2.0: Behaviors and broadcasts Domain: haskellforall.com, Score: 35, Comments: 35 On Reddit: [21] http://goo.gl/rojk1 Original: [22] http://goo.gl/aNK8l * Mastermind in Agda, Running in the Browser Domain: people.inf.elte.hu, Score: 28, Comments: 0 On Reddit: [23] http://goo.gl/N8yty Original: [24] http://goo.gl/7lhvT * Bittoll: A bitcoin transaction system written in Haskell. Domain: bittoll.com, Score: 25, Comments: 13 On Reddit: [25] http://goo.gl/9MFXB Original: [26] http://goo.gl/q39ps * standalone-haddock: host your Haskell documentation on your website Domain: feuerbach.github.io, Score: 22, Comments: 7 On Reddit: [27] http://goo.gl/dAsmP Original: [28] http://goo.gl/INyIe Top StackOverflow Questions * What is () in Haskell, exactly? votes: 18, answers: 4 Read on SO: [29] http://goo.gl/XkrXD * Haskell pre-monadic I/O votes: 15, answers: 1 Read on SO: [30] http://goo.gl/oryYA * Display function types in Haskell votes: 12, answers: 1 Read on SO: [31] http://goo.gl/qOtpV * Haskell Pattern Matching Fails on Negative Number votes: 12, answers: 2 Read on SO: [32] http://goo.gl/mw4WF * Debugging performance bottlenecks for longest common subsequence algorithm votes: 11, answers: 1 Read on SO: [33] http://goo.gl/mfa8S * What is a shrink, with regard to Haskell's QuickCheck? votes: 11, answers: 2 Read on SO: [34] http://goo.gl/eLlyO * Cross module optimizations in GHC votes: 10, answers: 1 Read on SO: [35] http://goo.gl/RyFQP * Functional composition with multi-valued functions in haskell? votes: 9, answers: 3 Read on SO: [36] http://goo.gl/10Xvd * A more succinct way to map functions onto fields of an algebraic datatype? votes: 9, answers: 1 Read on SO: [37] http://goo.gl/CfIOa * What's the history behind the Functor type class? votes: 8, answers: 1 Read on SO: [38] http://goo.gl/5BwZS Until next time, [39]+Daniel Santa Cruz References 1. http://izbicki.me/blog/hlearn-cross-validates-400x-faster-than-weka 2. http://www.reddit.com/r/haskell/comments/1fl33k/haskells_hlearn_library_crossvalidates_more_than/ 3. http://www.fpcomplete.com/blog/2013/06/call-for-submissions 4. http://www.reddit.com/r/haskell/comments/1fvtbf/fp_complete_launches_haskell_in_real_world/ 5. http://evincarofautumn.blogspot.it/2012/07/so-i-write-compilers-for-living-now.html 6. http://www.reddit.com/r/haskell/comments/1fsbs2/so_i_write_compilers_for_a_living_now/ 7. http://www.haskellforall.com/2013/06/pipes-parse-100-pushback-delimited.html 8. http://www.reddit.com/r/haskell/comments/1fjcpg/haskell_for_all_pipesparse100_pushback_delimited/ 9. http://jmlr.org/proceedings/papers/v28/izbicki13.pdf 10. http://www.reddit.com/r/haskell/comments/1fk8fl/thank_you_to_the_haskell_community_for/ 11. http://weblog.luite.com/wordpress/?p=14 12. http://www.reddit.com/r/haskell/comments/1fvv5q/ghcjs_introduction_concurrent_haskell_in_the/ 13. https://www.fpcomplete.com/blog/2013/06/haskell-from-c 14. http://www.reddit.com/r/haskell/comments/1fm55g/haskell_from_c_where_are_the_for_loops/ 15. http://ianwookim.org/fficxx/ 16. http://www.reddit.com/r/haskell/comments/1fy5gy/fficxx_ffi_to_c_in_haskell/ 17. http://neocontra.blogspot.com/2013/06/controlcategory-now-with-kind.html 18. http://www.reddit.com/r/haskell/comments/1fjjt0/controlcategory_now_with_kind_polymorphism/ 19. https://github.com/mchakravarty/BigPixel 20. http://www.reddit.com/r/haskell/comments/1fqyrk/pixel_art_editor_in_600_lines_of_haskell/ 21. http://www.haskellforall.com/2013/06/pipes-concurrency-120-behaviors-and.html 22. http://www.reddit.com/r/haskell/comments/1ft1sc/haskell_for_all_pipesconcurrency120_behaviors_and/ 23. http://people.inf.elte.hu/divip/mastermind/index.html 24. http://www.reddit.com/r/haskell/comments/1fx4rb/mastermind_in_agda_running_in_the_browser/ 25. https://www.bittoll.com/ 26. http://www.reddit.com/r/haskell/comments/1fqtmu/bittoll_a_bitcoin_transaction_system_written_in/ 27. http://feuerbach.github.io/standalone-haddock/ 28. http://www.reddit.com/r/haskell/comments/1fuw5n/standalonehaddock_host_your_haskell_documentation/ 29. http://stackoverflow.com/questions/16892570/what-is-in-haskell-exactly 30. http://stackoverflow.com/questions/17002119/haskell-pre-monadic-i-o 31. http://stackoverflow.com/questions/16971221/display-function-types-in-haskell 32. http://stackoverflow.com/questions/16976543/haskell-pattern-matching-fails-on-negative-number 33. http://stackoverflow.com/questions/16952956/debugging-performance-bottlenecks-for-longest-common-subsequence-algorithm 34. http://stackoverflow.com/questions/16968549/what-is-a-shrink-with-regard-to-haskells-quickcheck 35. http://stackoverflow.com/questions/16908539/cross-module-optimizations-in-ghc 36. http://stackoverflow.com/questions/16888222/functional-composition-with-multi-valued-functions-in-haskell 37. http://stackoverflow.com/questions/16974868/a-more-succinct-way-to-map-functions-onto-fields-of-an-algebraic-datatype 38. http://stackoverflow.com/questions/16880577/whats-the-history-behind-the-functor-type-class 39. https://plus.google.com/105107667630152149014/about _______________________________________________ Haskell mailing list Haskell&lt; at &gt;haskell.org http://www.haskell.org/mailman/listinfo/haskell </pre> Daniel Santa Cruz 2013-06-12T23:32:25 Reminder: two weeks to submit talks for CUFP 2013 http://comments.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 talks. Experience reports are typically 25 minutes long (but negotiable), and aim to inform participants about how functional programming plays out in real-world applications, focusing especially on lessons learned and insights gained. Experience reports don't need to be highly technical; reflections on the commercial, management, or software engineering aspects are, if anything, more important. Technical talks are also 25 minutes long (also negotiable), and should focus on teaching the audience something about a particular technique or methodology, from the point of view of someone who has seen it play out in practice. These talks could cover anything from techniques for building functional concurrent applications, to managing dynamic reconfigurations, to design recipes for using types effectively in large-scale applications. While these talks will often be based on a particular language, they should be accessible to a broad range of programmers. If you are interested in offering a talk, or nominating someone to do so, please fill in the form at the end of this page by 29 June 2013. There will be a short scribes report of the presentations and discussions but not of the details of individual talks, as the meeting is intended to be more a discussion forum than a technical interchange. You do not need to submit a paper, just a proposal for your talk! Note that we will need all presenters to register for the CUFP workshop and travel to Boston at their own expense. Program Committee Marius Eriksen (Twitter, Inc), co-chair Mike Sperber (Active Group), co-chair Mary Sheeran (Chalmers) Andres Löh (Well-Typed) Thomas Gazagnaire (OCamlPro) Steve Vinoski (Basho) Jorge Ortiz (Foursquare, Inc.) Blake Matheny (Tumblr, Inc.) Simon Marlow (Facebook, Inc.) More information For more information on CUFP, including videos of presentations from previous years, take a look at the CUFP website at http://cufp.org. Note that presenters, like other attendees, will need to register for the event. Presentations will be video taped and presenters will be expected to sign an ACM copyright release form. Acceptance and rejection letters will be sent out by July 16th. Guidance on giving a great CUFP talk Focus on the interesting bits: Think about what will distinguish your talk, and what will engage the audience, and focus there. There are a number of places to look for those interesting bits. Setting: FP is pretty well established in some areas, including formal verification, financial processing and server-side web-services. An unusual setting can be a source of interest. If you're deploying FP-based mobile UIs or building servers on oil rigs, then the challenges of that scenario are worth focusing on. Did FP help or hinder in adapting to the setting? Technology: The CUFP audience is hungry to learn about how FP techniques work in practice. What design patterns have you applied, and to what areas? Did you use functional reactive programming for user interfaces, or DSLs for playing chess, or fault-tolerant actors for large scale geological data processing? Teach us something about the techniques you used, and why we should consider using them ourselves. Getting things done: How did you deal with large software development in the absence of a myriad of pre-existing support that are often expected in larger commercial environments (IDEs, coverage tools, debuggers, profilers) and without larger, proven bodies of libraries? Did you hit any brick walls that required support from the community? Don't just be a cheerleader: It's easy to write a rah-rah talk about how well FP worked for you, but CUFP is more interesting when the talks also spend time on what doesn't work. Even when the results were all great, you should spend more time on the challenges along the way than on the parts that went smoothly. </pre> Simon Marlow 2013-06-12T19:38:53 Final call for talk proposals: HOPE'13 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'13) http://comments.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: storage effects, I/O, control effects, concurrency, etc. While effects are of critical importance in many applications, they also make it hard to build, maintain, and reason about one's code. Higher-order languages (both functional and object-oriented) provide a variety of abstraction mechanisms to help "tame" or "encapsulate" effects (e.g. monads, ADTs, ownership types, typestate, first-class events, transactions, Hoare Type Theory, session types, substructural and region-based type systems), and a number of different semantic models and verification technologies have been developed in order to codify and exploit the benefits of this encapsulation (e.g. bisimulations, step-indexed Kripke logical relations, higher-order separation logic, game semantics, various modal logics). But there remain many open problems, and the field is highly active. The goal of the HOPE workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the design, semantics, implementation, and verification of higher-order effectful programs. We want HOPE to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc. to be posted on this website. ----------------------- Call for Talk Proposals ----------------------- We solicit proposals for contributed talks. Proposals should be at most 2 pages, in either plain text or PDF format, and should specify how long a talk the speaker wishes to give. By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. We are interested in talks on all topics related to the interaction of higher-order programming and computational effects. Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs at the address hope2013 AT mpi-sws.org. Deadline for talk proposals: June 14, 2013 (Friday) Notification of acceptance: July 28, 2013 (Sunday) Workshop: September 28, 2013 (Saturday) The submission website is now open: https://www.easychair.org/conferences/?conf=hope2013 --------------------- Workshop Organization --------------------- Program Co-Chairs: Derek Dreyer (MPI-SWS, Germany) Hongseok Yang (University of Oxford) Program Committee: Anindya Banerjee (IMDEA Software Institute) Lars Birkedal (Aarhus University) Aquinas Hobor (National University of Singapore) Chung-Kil Hur (Microsoft Research Cambridge) Patricia Johann (Appalachian State University) Matthew Might (University of Utah) Peter Mueller (ETH Zurich) Brigitte Pientka (McGill University) Zhong Shao (Yale) _______________________________________________ Haskell mailing list Haskell&lt; at &gt;haskell.org http://www.haskell.org/mailman/listinfo/haskell </pre> Hongseok Yang 2013-06-10T07:16:36 ACM SIGPLAN Erlang Workshop 2013 Final Call For Papers http://comments.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 applications written in any functional programming language. These applications offer new opportunities to evaluate functional programming and functional programming methods on a very large scale and suggest new problems for the research community to solve. This workshop will bring together the open source, academic, and industrial programming communities of Erlang. It will enable participants to familiarize themselves with recent developments on new techniques and tools tailored to Erlang, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang and functional programming. We invite three types of submissions. 1. Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). The maximum length for technical papers is restricted to 12 pages. 2. Practice and application papers describing uses of Erlang in the "real-world", Erlang libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve a particular problem. The maximum length for the practice and application papers is restricted to 12 pages. Note that this is a maximum length; we welcome shorter papers also, and the program committee will evaluate all papers on an equal basis independent of their lengths. 3. Poster presentations describing topics related to the workshop goals. Each includes a maximum of 2 pages of the abstract and summary. Presentations in this category will be given an hour of shared simultaneous demonstration time. Workshop Chair ----------------------- Steve Vinoski, Basho Technologies, USA Program Chair ------------------- Laura M. Castro, University of A Coruña, Spain Program Committee ----------------------------- (Note: the Workshop and Program Chairs are also committee members) Lars-Ake Fredlund, Universidad Politécnica de Madrid, Spain Kevin Hammond, University of St. Andrews, UK Torben Hoffman, Erlang Solutions Limited, UK Zoltán Horváth, Eötvös Loránd University, Hungary Kenneth Lundin, Ericsson AB, Sweden Mickaël Rémond, ProcessOne, France Kenji Rikitake, Basho Japan KK, Japan Simon Thompson, University of Kent, UK Important Dates ----------------------- Submission deadline: Fri June 14, 2013 Author notification: Thu July 11, 2013 Final submission for the publisher: Thu July 25, 2013 Workshop date (tentative, subject to change): September 28, 2013 Instructions to authors -------------------------------- Papers must be submitted online via EasyChair (via the "Erlang2013" event). The submission page is https://www.easychair.org/conferences/?conf=erlang2013 Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. Paper submissions will be considered for poster submission in the case they are not accepted as full papers. Venue &amp; Registration Details ------------------------------------------ For registration, please see the ICFP 2013 web site at: http://icfpconference.org/icfp2013/ Related Links -------------------- ICFP 2013 web site: http://www.icfpconference.org/icfp2013/ Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/ Open Source Erlang: http://www.erlang.org/ EasyChair submission site: https://www.easychair.org/account/signin.cgi?conf=erlang2013 Author Information for SIGPLAN Conferences: http://www.sigplan.org/authorInformation.htm -- Laura M. Castro _______________________________________________ Haskell mailing list Haskell&lt; at &gt;haskell.org http://www.haskell.org/mailman/listinfo/haskell </pre> Laura M. Castro 2013-06-07T23:31:30 mail Craig Ugoretz http://comments.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 ML workshop 2013: Call for presentations http://comments.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 research presentations on topics related to ML, including but not limited to * Applications: case studies, experience reports, pearls, etc. * Extensions: higher forms of polymorphism, generic programming, objects, concurrency, distribution and mobility, semi-structured data handling, etc. * Type systems: inference, effects, overloading, modules, contracts, specifications and assertions, dynamic typing, error reporting, etc. * Implementation: compilers, interpreters, type checkers, partial evaluators, runtime systems, garbage collectors, etc. * Environments: libraries, tools, editors, debuggers, cross-language interoperability, functional data structures, etc. * Semantics: operational, denotational, program equivalence, parametricity, mechanization, etc. Three kinds of submissions will be accepted: Research Presentations, Experience Reports and Demos. * Research Presentations: Research presentations should describe new ideas, experimental results, significant advances in ML-related projects, or informed positions regarding proposals for next-generation ML-style languages. We especially encourage presentations that describe work in progress, that outline a future research agenda, or that encourage lively discussion. These presentations should be structured in a way which can be, at least in part, of interest to (advanced) users. * Experience Reports: Users are invited to submit Experience Reports about their use of ML languages. These presentations do not need to contain original research but they should tell an interesting story to researchers or other advanced users, such as an innovative or unexpected use of advanced features or a description of the challenges they are facing or attempting to solve. * Demos: Live demonstrations or short tutorials should show new developments, interesting prototypes, or work in progress, in the form of tools, libraries, or applications built on or related to ML. (Please note that you will need to provide all the hardware and software required for your demo; the workshop organizers are only able to provide a projector.) Each presentation should take 20-25 minutes, except demos, which should take 10-15 minutes. The exact time will be decided based on the number of accepted submissions. SUBMISSION INSTRUCTIONS ----------------------- Submissions should be at most two pages, in PDF format, and printable on US Letter or A4 sized paper. Submissions longer than a half a page should include a one-paragraph synopsis suitable for inclusion in the workshop program. Submissions must be uploaded to the following website before the submission deadline (2013-06-21): https://www.easychair.org/conferences/?conf=ml2013 For any question concerning the scope of the workshop or the submission process, please contact the program chair (daan at microsoft.com). IMPORTANT DATES --------------- * Friday, June 21 : Submission * Monday, July 22 : Notification * Sunday, September 22: Workshop PROGRAM COMMITTEE ----------------- Daan Leijen (chair) (Microsoft Research, US) Jesse A. Tov (Harvard University, US) Derek Dreyer (MPI-SWS, Germany) Atsushi Ohori (Univ. of Tohoku, Japan) Lars Bergstrom (Univ. of Chicago, US) Jean Yang (MIT CSAIL, US) Gavin Bierman (Microsoft Research, Cambridge, UK) Tomas Petricek (Univ. of Cambridge, UK) Yukiyoshi Kameyama (Univ. of Tsukuba, Japan) Peter Thiemann (Univ. of Freiburg, Germany) STEERING COMMITTEE ------------------ Matthew Fluet (Rochester Institute of Technology) Alain Frisch (LexiFi) Jacques Garrigue (Nagoya University) Yaron Minsky (Jane Street) Greg Morrisett (Harvard University) Andreas Rossberg (chair, Google) Chung-chieh Shan (Indiana University) _______________________________________________ Haskell mailing list Haskell&lt; at &gt;haskell.org http://www.haskell.org/mailman/listinfo/haskell </pre> Daan Leijen 2013-06-07T16:05:09 PPDP'13: Last call for papers http://comments.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 computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. Topics of interest include, but are not limited to: * Functional programming * Logic programming * Answer-set programming * Functional-logic programming * Declarative visual languages * Constraint Handling Rules * Parallel implementation and concurrency * Monads, type classes and dependent type systems * Declarative domain-specific languages * Termination, resource analysis and the verification of declarative programs * Transformation and partial evaluation of declarative languages * Language extensions for security and tabulation * Probabilistic modelling in a declarative language and modelling reactivity * Memory management and the implementation of declarative systems * Practical experiences and industrial application This year the conference will be co-located with the 23nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2013) and held in cooperation with ACM SIGPLAN. The conference will be held in Madrid, Spain. Previous symposia were held at Leuven (Belgium), Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris (France). Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Proceedings will be published in the ACM International Conference Proceedings Series. After the symposium, a selection of the best papers will be invited to extend their submissions in the light of the feedback solicited at the symposium. The papers are expected to include at least 30% extra material over and above the PPDP version. Then, after another round of reviewing, these revised papers will be published in a special issue of SCP with a target publication date by Elsevier of 2014. Important Dates Abstract Submission: June 10, 2013 Paper submission: June 13, 2013 Notification: July 18, 2013 Camera-ready: August 4, 2013 Symposium: September 16-18, 2013 Invites for SCP: October 2, 2013 Submission of SCP: December 11, 2013 Notification from SCP: February 22, 2014 Camera-ready for SCP: March 14, 2014 Authors should submit an electronic copy of the paper (written in English) in PDF. Each submission must include on its first page the paper title; authors and their affiliations; abstract; and three to four keywords. The keywords will be used to assist us in selecting appropriate reviewers for the paper. Papers should consist of no more than 12 pages, formatted following the ACM SIG proceedings template (option 1). The 12 page limit must include references but excludes well-marked appendices not intended for publication. Referees are not required to read the appendices, and thus papers should be intelligible without them. Program Committee Sergio Antoy Portland State University, USA Manuel Carro IMDEA Software Institute, Spain Iliano Cervesato Carnegie Mellon University, Qatar Agostino Dovier Universita degli Studi di Udine, Italy Maria Garcia de la Banda Monash University, Australia Ralf Hinze University of Oxford, UK Yukiyoshi Kameyama University of Tsukuba, Japan Oleg Kiselyov USA Yanhong Annie Liu State University of New York at Stony Brook, USA Stefan Monnier Universite de Montreal, Canada Alan Mycroft University of Cambrige, UK Bruno C. d. S. Oliveira National University of Singapore, Singapore Alberto Pettorossi Universita di Roma Tor Vergata, Italy Enrico Pontelli New Mexico State University, USA Kristoffer Rose IBM Research, USA Sukyoung Ryu KAIST, South Korea Vitor Santos Costa University of Porto, Portugal Torsten Schaub University Potsdam, Germany Tom Schrijvers Ghent University, Belgium Martin Sulzmann Hochschule Karlsruhe, Germany Wouter Swierstra Universiteit Utrecht, The Netherlands Tarmo Uustalu Institute of Cybernetics, Estonia Janis Voigtlaender University of Bonn, Germany Meng Wang Chalmers University of Technology, Sweden Jan Wielemaker Universiteit van Amsterdam, The Netherlands Program Chair Tom Schrijvers Department of Applied Mathematics and Computer Science Ghent University 9000 Gent, Belgium General Chair Ricardo Pena Facultad de Informatica Universidad Complutense de Madrid 28040 Madrid, Spain </pre> Tom Schrijvers 2013-06-06T16:28:45 Haskell Weekly News: Issue 269 http://comments.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: gmainland.blogspot.co.uk, Score: 54, Comments: 17 On Reddit: [7] http://goo.gl/rMEFc Original: [8] http://goo.gl/MBOJn * Elm 0.8 released! Type annotations and aliases, better HTML/JS integration, and lots more Domain: elm-lang.org, Score: 50, Comments: 10 On Reddit: [9] http://goo.gl/B9AIa Original: [10] http://goo.gl/tM3Qq * Why did the Haskeller need to replace his keyboard regularly? Domain: self.haskell, Score: 48, Comments: 9 On Reddit: [11] http://goo.gl/FHiCn Original: [12] http://goo.gl/FHiCn * Towards a better Haskell package Domain: fvisser.nl, Score: 40, Comments: 26 On Reddit: [13] http://goo.gl/XNFGM Original: [14] http://goo.gl/jbW4Q * What does the Haskell runtime look like? Domain: self.haskell, Score: 37, Comments: 17 On Reddit: [15] http://goo.gl/n8bqD Original: [16] http://goo.gl/n8bqD * The AST Typing Problem Domain: blog.ezyang.com, Score: 33, Comments: 14 On Reddit: [17] http://goo.gl/nYMNg Original: [18] http://goo.gl/FYpD2 * [haskell.org Google Summer of Code 2013] Approved Projects Domain: haskell.org, Score: 28, Comments: 10 On Reddit: [19] http://goo.gl/hnSnz Original: [20] http://goo.gl/IUE0U Top StackOverflow Questions * What's the best way to exit a Haskell program? votes: 25, answers: 1 Read on SO: [21] http://goo.gl/3AQdw * Haskell Conduit: One processing conduit, 2 IO sources of the same type votes: 23, answers: 0 Read on SO: [22] http://goo.gl/12dwP * Why is length of “Níðhöggr” 9? votes: 22, answers: 2 Read on SO: [23] http://goo.gl/emGGm * What is a solid example of something that can be done with list comprehensions that is tricky with high order functions? votes: 11, answers: 5 Read on SO: [24] http://goo.gl/fJMcg * Fibonacci Seq. strange output forms (Haskell) votes: 10, answers: 2 Read on SO: [25] http://goo.gl/9OQYW * Gnuplot in Haskell: don't enter gnuplot terminal votes: 10, answers: 0 Read on SO: [26] http://goo.gl/Fwb66 * Haskell: YesNo type class. Why Integer? votes: 10, answers: 3 Read on SO: [27] http://goo.gl/jnLLH * Is it possible to use extended precision (80-bit) floating point arithmetic in GHC/Haskell? votes: 9, answers: 1 Read on SO: [28] http://goo.gl/HUUoL * Having trouble understanding list comprehensions votes: 9, answers: 2 Read on SO: [29] http://goo.gl/JkNL3 * What is the rule of the order of multiple type variables in haskell? votes: 9, answers: 1 Read on SO: [30] http://goo.gl/1whHM Until next time, +Daniel Santa Cruz References 1. http://www.haskell.org/platform/ 2. http://www.reddit.com/r/haskell/comments/1f6l2a/haskell_platform_2013200_is_out/ 3. http://elm-lang.org/blog/announce/Elm-and-Prezi.elm 4. http://www.reddit.com/r/haskell/comments/1f9yd8/elm_prezi_im_now_working_on_elm_fulltime/ 5. http://idris-lang.org/archives/272 6. http://www.reddit.com/r/haskell/comments/1f75ge/ann_idris_098_released/ 7. http://gmainland.blogspot.co.uk/2013/05/type-safe-runtime-code-generation-with.html 8. http://www.reddit.com/r/haskell/comments/1feqhn/typesafe_runtime_code_generation_with_typed/ 9. http://elm-lang.org/blog/announce/version-0.8.elm 10. http://www.reddit.com/r/haskell/comments/1f77h0/elm_08_released_type_annotations_and_aliases/ 11. http://www.reddit.com/r/haskell/comments/1f6gjs/why_did_the_haskeller_need_to_replace_his/ 12. http://www.reddit.com/r/haskell/comments/1f6gjs/why_did_the_haskeller_need_to_replace_his/ 13. http://fvisser.nl/post/2013/may/28/towards-a-better-haskell-package.html 14. http://www.reddit.com/r/haskell/comments/1f70wi/towards_a_better_haskell_package/ 15. http://www.reddit.com/r/haskell/comments/1f48dc/what_does_the_haskell_runtime_look_like/ 16. http://www.reddit.com/r/haskell/comments/1f48dc/what_does_the_haskell_runtime_look_like/ 17. http://blog.ezyang.com/2013/05/the-ast-typing-problem/ 18. http://www.reddit.com/r/haskell/comments/1f91w3/the_ast_typing_problem/ 19. http://www.haskell.org/pipermail/haskell-cafe/2013-May/108458.html 20. http://www.reddit.com/r/haskell/comments/1f6ve7/haskellorg_google_summer_of_code_2013_approved/ 21. http://stackoverflow.com/questions/16872898/whats-the-best-way-to-exit-a-haskell-program 22. http://stackoverflow.com/questions/16757060/haskell-conduit-one-processing-conduit-2-io-sources-of-the-same-type 23. http://stackoverflow.com/questions/16779251/why-is-length-of-nidhoggr-9 24. http://stackoverflow.com/questions/16784162/what-is-a-solid-example-of-something-that-can-be-done-with-list-comprehensions-t 25. http://stackoverflow.com/questions/16762009/fibonacci-seq-strange-output-forms-haskell 26. http://stackoverflow.com/questions/16803070/gnuplot-in-haskell-dont-enter-gnuplot-terminal 27. http://stackoverflow.com/questions/16824047/haskell-yesno-type-class-why-integer 28. http://stackoverflow.com/questions/16797802/is-it-possible-to-use-extended-precision-80-bit-floating-point-arithmetic-in-g 29. http://stackoverflow.com/questions/16805135/having-trouble-understanding-list-comprehensions 30. http://stackoverflow.com/questions/16860473/what-is-the-rule-of-the-order-of-multiple-type-variables-in-haskell 31. https://plus.google.com/105107667630152149014/about _______________________________________________ Haskell mailing list Haskell&lt; at &gt;haskell.org http://www.haskell.org/mailman/listinfo/haskell </pre> Daniel Santa Cruz 2013-06-06T02:15:25 Dores do Indai - Nomes dos aprovados http://comments.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, 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. Colniza. </pre> David Anderson 2013-06-05T11:40:41 Job opening Ph D student in type error diagnosis fordomain specific languages in Haskell http://comments.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 (then called EDSLs) into a general purpose host language. An important disadvantage of such an embedding is that it is very hard to make type error diagnosis domain-aware, because inconsistencies are by default explained in terms of the host language. We are currently looking for a highly motivated Ph D student to investigate this problem in the context of the functional language Haskell. The basic approach is to scale the concept of specialized type rules as developed by (Heeren, Hage and Swierstra, ICFP '03, see link below) for Haskell '98 to modern day Haskell with all of its type system extensions. The work is both technically challenging, i.e., how do you ensure that modifications to the type diagnositic process do not inadvertently change the type system, and practically immediately useful: making domain-specific type error diagnosis a reality for a full sized language such as Haskell is likely to have a pervasive influence on the field of domain-specific languages, and the language Haskell. The ICFP '03 paper can be found at http://www.cs.uu.nl/people/jur/scriptingthetypeinferencer.pdf A project paper that describes the context and aims of the current project can be found here: http://www.cs.uu.nl/people/jur/tfp2013_submission_2.pdf At first, the work will be prototyped in our own Utrecht Haskell Compiler. If succesfull, the work will also make its way into the GHC. We expect the candidate to communicate the results academically, to present the work at scientific conferences, to supervise Master students, and to assist in teaching courses at Bachelor or Master level. --------------------------------- What we are looking for --------------------------------- The candidate should have an MSc in Computer Science, be highly motivated, speak and write English very well, and be proficient in producing scientific reports. Knowledge of and experience with at least one of the following two areas is essential: * functional programming, and Haskell in particular *type system concepts Furthermore, we expect the candidate to be able to reason formally. Experience in compiler construction is expected to be useful in this project. --------------------------------- What we offer --------------------------------- You are offered a full-time position for 4 years. The gross salary is in the range between € 2083,- and maximum € 2664,- per month. The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year. In addition we offer: a pension scheme, a partially paid parental leave, flexible employment conditions. Conditions are based on the Collective Labour Agreement Dutch Universities. We aim to start November 1, 2013 at the latest, but preferably sooner. --------------------------------- In order to apply --------------------------------- To apply please attach a letter of motivation, a curriculum vitae, and (email) addresses of two referees. Make sure to also include a transcript of the courses you have followed (at bachelor and master level), with the grades you obtained, and to include a sample of your scientific writing, e.g., the pdf of your master thesis. It is possible to apply for this position if you are close to obtaining your Master's. In that case include a letter of your supervisor with an estimate of your progress, and do not forget to include at least a sample of your technical writing skills. Application closes on the 20th of June 2013. For application, visit http://www.cs.uu.nl/vacatures/en/583630.html and follow the link to the official job application page at the bottom. --------------- Contact person --------------- For further information you can direct your inquiries to: Dr. Jurriaan Hage Phone: (+31) 30 253 3283 e-mail: J.Hage&lt; at &gt;uu.nl. website: http://www.cs.uu.nl/wiki/Hage/WebHome </pre> Jurriaan Hage 2013-05-31T13:39:33 Call for Papers IFL 2013 http://comments.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 of such an embedding is that it is very hard to make type error diagnosis domain-aware, because inconsistencies are by default explained in terms of the host language. We are currently looking for a highly motivated Ph D student to investigate this problem in the context of the functional language Haskell. The basic approach is to scale the concept of specialized type rules as developed by (Heeren, Hage and Swierstra, ICFP '03, see link below) for Haskell '98 to modern day Haskell with all of its type system extensions. The work is both technically challenging, i.e., how do you ensure that modifications to the type diagnositic process do not inadvertently change the type system, and practically immediately useful: making domain-specific type error diagnosis a reality for a full sized language such as Haskell is likely to have a pervasive influence on the field of domain-specific languages, and the language Haskell. The ICFP '03 paper can be found at http://www.cs.uu.nl/people/jur/scriptingthetypeinferencer.pdf A project paper that describes the context and aims of the current project can be found here: http://www.cs.uu.nl/people/jur/tfp2013_submission_2.pdf At first, the work will be prototyped in our own Utrecht Haskell Compiler. If succesfull, the work will also make its way into the GHC. We expect the candidate to communicate the results academically, to present the work at scientific conferences, to supervise Master students, and to assist in teaching courses at Bachelor or Master level. --------------------------------- What we are looking for --------------------------------- The candidate should have an MSc in Computer Science, be highly motivated, speak and write English very well, and be proficient in producing scientific reports. Knowledge of and experience with at least one of the following two areas is essential: * functional programming, and Haskell in particular *type system concepts Furthermore, we expect the candidate to be able to reason formally. Experience in compiler construction is expected to be useful in this project. --------------------------------- What we offer --------------------------------- You are offered a full-time position for 4 years. The gross salary is in the range between Û 2083,- and maximum Û 2664,- per month. The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year. In addition we offer: a pension scheme, a partially paid parental leave, flexible employment conditions. Conditions are based on the Collective Labour Agreement Dutch Universities. We aim to start November 1, 2013 at the latest, but preferably sooner. --------------------------------- In order to apply --------------------------------- To apply please attach a letter of motivation, a curriculum vitae, and (email) addresses of two referees. Make sure to also include a transcript of the courses you have followed (at bachelor and master level), with the grades you obtained, and to include a sample of your scientific writing, e.g., the pdf of your master thesis. It is possible to apply for this position if you are close to obtaining your Master's. In that case include a letter of your supervisor with an estimate of your progress, and do not forget to include at least a sample of your technical writing skills. Application closes on the 20th of June 2013. For application, visit http://www.cs.uu.nl/vacatures/en/583630.html and follow the link to the official job application page at the bottom. --------------- Contact person --------------- For further information you can direct your inquiries to: Dr. Jurriaan Hage Phone: (+31) 30 253 3283 e-mail: J.Hage&lt; at &gt;uu.nl. website: http://www.cs.uu.nl/wiki/Hage/WebHome _______________________________________________ Haskell mailing list Haskell&lt; at &gt;haskell.org http://www.haskell.org/mailman/listinfo/haskell </pre> publicityifl< at >gmail.com 2013-05-31T12:02:14 Haskell Weekly News: Issue 268 http://comments.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 refreshing * cmccann: I still kind of expect that the next standard will be haskell2017 or something, and all it will do is a minor change to lexical syntax of comments that fixes nothing but nevertheless breaks 20% of hackage. * cmccann: [on reimplementing cryptography in pure Haskell] writing in Haskell lets you use type safety to ensure that all the security holes you create are subtle instead of obvious. Top Reddit Stories * Haskell in Production [slides] Domain: mth.io, Score: 60, Comments: 114 On Reddit: [1] http://goo.gl/ldnv0 Original: [2] http://goo.gl/tMjTd * B-trees with GADTs Domain: matthew.brecknell.net, Score: 56, Comments: 6 On Reddit: [3] http://goo.gl/Sjf9U Original: [4] http://goo.gl/sQnYW * Yearly revisions to the Haskell language: who killed Haskell Prime? Domain: self.haskell, Score: 54, Comments: 19 On Reddit: [5] http://goo.gl/5GWKg Original: [6] http://goo.gl/5GWKg * Elm paper accepted at PLDI: Asynchronous FRP for GUIs! Domain: people.seas.harvard.edu, Score: 51, Comments: 4 On Reddit: [7] http://goo.gl/iYiyh Original: [8] http://goo.gl/98jft * The complete correctness of sorting [Agda] Domain: twanvl.nl, Score: 49, Comments: 5 On Reddit: [9] http://goo.gl/PLH6m Original: [10] http://goo.gl/RQGZn * Anatomy of an MVar operation Domain: blog.ezyang.com, Score: 47, Comments: 7 On Reddit: [11] http://goo.gl/7miao Original: [12] http://goo.gl/3ZHSI * Typing Haskell in Haskell Domain: web.cecs.pdx.edu, Score: 44, Comments: 34 On Reddit: [13] http://goo.gl/q1ghy Original: [14] http://goo.gl/M5csQ * STM in Haskell is better because of types Domain: joeyh.name, Score: 44, Comments: 8 On Reddit: [15] http://goo.gl/wj9Ab Original: [16] http://goo.gl/fmLM1 * Typed Template Haskell ready for testing in GHC Domain: haskell.org, Score: 44, Comments: 13 On Reddit: [17] http://goo.gl/he61y Original: [18] http://goo.gl/YJIZB * A detailed look at GHC's STM implementation from a non-GHC hacker Domain: fryguybob.github.io, Score: 38, Comments: 11 On Reddit: [19] http://goo.gl/pTp2c Original: [20] http://goo.gl/4oe3Y * New Haskell Communities and Activity Report (May 2013) is out Domain: haskell.org, Score: 37, Comments: 2 On Reddit: [21] http://goo.gl/P2kz1 Original: [22] http://goo.gl/YoIE4 * Three examples of problems with Lazy I/O Domain: newartisans.com, Score: 36, Comments: 31 On Reddit: [23] http://goo.gl/reKqZ Original: [24] http://goo.gl/ZagPt * Understanding the Yoneda Lemma Domain: fpcomplete.com, Score: 35, Comments: 48 On Reddit: [25] http://goo.gl/RUZ4h Original: [26] http://goo.gl/xbAJj * Simon Peyton Jones to keynote Haskell eXchange 2013! Domain: skillsmatter.com, Score: 35, Comments: 2 On Reddit: [27] http://goo.gl/DlfRt Original: [28] http://goo.gl/5lpwh * Greg Hale's "Functional programming elevator pitch" Domain: fpcomplete.com, Score: 34, Comments: 8 On Reddit: [29] http://goo.gl/gbhX3 Original: [30] http://goo.gl/QrrxP * FP Complete is looking for a Technical Sales Engineer and Support Specialist Domain: fpcomplete.com, Score: 32, Comments: 1 On Reddit: [31] http://goo.gl/nYNci Original: [32] http://goo.gl/VGCoa * A Typed Markup Language Based On Haskell Domain: blog.functorial.com, Score: 31, Comments: 9 On Reddit: [33] http://goo.gl/eLLjV Original: [34] http://goo.gl/wFxcv * Announcing: Snap Framework v0.12 Domain: snapframework.com, Score: 28, Comments: 2 On Reddit: [35] http://goo.gl/5wYLk Original: [36] http://goo.gl/KibyP * John Wiegley's "Understanding Continuations", on School of Haskell Domain: fpcomplete.com, Score: 27, Comments: 17 On Reddit: [37] http://goo.gl/ZT7d6 Original: [38] http://goo.gl/YitVR Top StackOverflow Questions * Why are if expressions frowned upon in Haskell? votes: 20, answers: 6 Read on SO: [39] http://goo.gl/NejhX * Haskell: `Map (a,b) c` versus `Map a (Map b c)`? votes: 19, answers: 3 Read on SO: [40] http://goo.gl/8f1hf * Why recursive `let` make space effcient? votes: 18, answers: 3 Read on SO: [41] http://goo.gl/QTLYQ * Should do-notation be avoided in Haskell? [duplicate] votes: 16, answers: 7 Read on SO: [42] http://goo.gl/MGiFr * Correspondence between type classes and grammar levels in the Chomsky hierarchy votes: 15, answers: 1 Read on SO: [43] http://goo.gl/LRJy2 * Calling Haskell from C# votes: 14, answers: 2 Read on SO: [44] http://goo.gl/n9QB1 * How do exceptions work in Haskell (part two)? votes: 13, answers: 1 Read on SO: [45] http://goo.gl/U2GDR * Can a monad be a comonad? votes: 11, answers: 5 Read on SO: [46] http://goo.gl/ESrc2 * Dynamic Programming Memoization in Haskell votes: 11, answers: 1 Read on SO: [47] http://goo.gl/Gp7c8 * Employing arrows to fold a list of tuples votes: 11, answers: 1 Read on SO: [48] http://goo.gl/shRWV Until next time, +Daniel Santa Cruz References 1. http://mth.io/talks/haskell-in-production/ 2. http://www.reddit.com/r/haskell/comments/1etssw/haskell_in_production_slides/ 3. http://matthew.brecknell.net/post/btree-gadt/ 4. http://www.reddit.com/r/haskell/comments/1efuog/btrees_with_gadts/ 5. http://www.reddit.com/r/haskell/comments/1esmhj/yearly_revisions_to_the_haskell_language_who/ 6. http://www.reddit.com/r/haskell/comments/1esmhj/yearly_revisions_to_the_haskell_language_who/ 7. http://people.seas.harvard.edu/~chong/pubs/pldi13-elm.pdf 8. http://www.reddit.com/r/haskell/comments/1eie6m/elm_paper_accepted_at_pldi_asynchronous_frp_for/ 9. http://twanvl.nl/blog/agda/sorting 10. http://www.reddit.com/r/haskell/comments/1exv2t/the_complete_correctness_of_sorting_agda/ 11. http://blog.ezyang.com/2013/05/anatomy-of-an-mvar-operation/ 12. http://www.reddit.com/r/haskell/comments/1eostu/anatomy_of_an_mvar_operation/ 13. http://web.cecs.pdx.edu/~mpj/thih/TypingHaskellInHaskell.html 14. http://www.reddit.com/r/haskell/comments/1e6s68/typing_haskell_in_haskell/ 15. http://joeyh.name/blog/entry/the_newinwheezy_game:_STM/ 16. http://www.reddit.com/r/haskell/comments/1e8ow9/stm_in_haskell_is_better_because_of_types/ 17. http://www.haskell.org/pipermail/ghc-devs/2013-May/001255.html 18. http://www.reddit.com/r/haskell/comments/1egfra/typed_template_haskell_ready_for_testing_in_ghc/ 19. http://fryguybob.github.io/STM-Commentary/ 20. http://www.reddit.com/r/haskell/comments/1ejgjo/a_detailed_look_at_ghcs_stm_implementation_from_a/ 21. http://haskell.org/communities/05-2013/html/report.html 22. http://www.reddit.com/r/haskell/comments/1e601k/new_haskell_communities_and_activity_report_may/ 23. http://newartisans.com/2013/05/three-examples-of-problems-with-lazy-io 24. http://www.reddit.com/r/haskell/comments/1e8k3k/three_examples_of_problems_with_lazy_io/ 25. https://www.fpcomplete.com/user/bartosz/understanding-yoneda 26. http://www.reddit.com/r/haskell/comments/1eelao/understanding_the_yoneda_lemma/ 27. http://skillsmatter.com/event/scala/haskell-exchange/te-7391 28. http://www.reddit.com/r/haskell/comments/1ewq54/simon_peyton_jones_to_keynote_haskell_exchange/ 29. https://www.fpcomplete.com/user/imalsogreg/functional-programming-elevator-pitch 30. http://www.reddit.com/r/haskell/comments/1ewvhm/greg_hales_functional_programming_elevator_pitch/ 31. https://www.fpcomplete.com/page/product_specialist 32. http://www.reddit.com/r/haskell/comments/1ezeng/fp_complete_is_looking_for_a_technical_sales/ 33. http://blog.functorial.com/posts/2013-05-18-Typed-Markup-Language.html 34. http://www.reddit.com/r/haskell/comments/1elhj2/a_typed_markup_language_based_on_haskell/ 35. http://snapframework.com/blog/2013/05/15/snap-0.12-released 36. http://www.reddit.com/r/haskell/comments/1ef3kt/announcing_snap_framework_v012/ 37. https://www.fpcomplete.com/user/jwiegley/understanding-continuations 38. http://www.reddit.com/r/haskell/comments/1e977w/john_wiegleys_understanding_continuations_on/ 39. http://stackoverflow.com/questions/16572446/why-are-if-expressions-frowned-upon-in-haskell 40. http://stackoverflow.com/questions/16613032/haskell-map-a-b-c-versus-map-a-map-b-c 41. http://stackoverflow.com/questions/16632143/why-recursive-let-make-space-effcient 42. http://stackoverflow.com/questions/16726659/should-do-notation-be-avoided-in-haskell 43. http://stackoverflow.com/questions/16607637/correspondence-between-type-classes-and-grammar-levels-in-the-chomsky-hierarchy 44. http://stackoverflow.com/questions/16615641/calling-haskell-from-c-sharp 45. http://stackoverflow.com/questions/16678165/how-do-exceptions-work-in-haskell-part-two 46. http://stackoverflow.com/questions/16551734/can-a-monad-be-a-comonad 47. http://stackoverflow.com/questions/16585741/dynamic-programming-memoization-in-haskell 48. http://stackoverflow.com/questions/16676758/employing-arrows-to-fold-a-list-of-tuples 49. https://plus.google.com/105107667630152149014/about _______________________________________________ Haskell mailing list Haskell&lt; at &gt;haskell.org http://www.haskell.org/mailman/listinfo/haskell </pre> Daniel Santa Cruz 2013-05-31T01:29:00 Call for Participation: Workshop on Haskell and Rewriting Techniques (June 27, Eindhoven) http://comments.gmane.org/gmane.comp.lang.haskell.general/19838 <pre>The list of accepted papers, and preliminary schedule, for the first International Workshop on Haskell And Rewriting Techniques (June 27, Eindhoven/NL, as part of RDP 2013) is available from the workshop web site http://www.imn.htwk-leipzig.de/HART2013/ Register soon - RDP early registration deadline is June 1! Best regards - Kristoffer H Rose and Johannes Waldmann. _______________________________________________ Haskell mailing list Haskell&lt; at &gt;haskell.org http://www.haskell.org/mailman/listinfo/haskell </pre> Johannes Waldmann 2013-05-28T14:07:23 Call for Papers IFL 2013 http://comments.gmane.org/gmane.comp.lang.haskell.general/19836 <pre>Hello, Please, find below the first 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 implementation and application of functional languages and function-based programming. Following the IFL tradition, IFL 2013 will use a post-symposium review process to produce the formal proceedings which will be published in the ACM Digital Library. All participants of IFL 2013 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. Hence, publications that appear only in the draft proceedings do not count as publication for the ACM SIGPLAN republication policy. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity. Invited Speaker --------------- Lennart Augustsson, currently employed by the Standard Chartered Bank, well-known for his work on Haskell, parallel Haskell, Cayenne, and Bluespec, is the invited speaker of IFL 2013. He will be talking about practical applications of functional programming. Submission Details ------------------ Submission deadline draft papers: July 31 Notification of acceptance for presentation: August 2 Early registration deadline: August 7 Late registration deadline: August 14 Submission deadline for pre-symposium proceedings: August 21 25th IFL Symposium: August 28-30 Submission deadline for post-symposium proceedings: November 11 Notification of acceptance for post-symposium proceedings: December 18 Camera-ready version for post-symposium proceedings: February 3 2014 Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must adhere to the standard ACM two columns conference format. For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A suitable document template for LaTeX can be found at: http://www.acm.org/sigs/sigplan/authorInformation.htm Papers are to be submitted via the conference's EasyChair submission page: https://www.easychair.org/conferences/?conf=ifl2013 Topics ------ IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools in the context of functional programming. If you are not sure whether your work is appropriate for IFL 2013, please contact the PC chair at rinus&lt; at &gt;cs.ru.nl. Topics of interest include, but are not limited to: • language concepts • type systems, type checking, type inferencing • compilation techniques • staged compilation • run-time function specialization • run-time code generation • partial evaluation • (abstract) interpretation • metaprogramming • generic programming • automatic program generation • array processing • concurrent/parallel programming • concurrent/parallel program execution • embedded systems • web applications • (embedded) domain specific languages • security • novel memory management techniques • run-time profiling performance measurements • debugging and tracing • virtual/abstract machine architectures • validation, verification of functional programs • tools and programming techniques • (industrial) applications Peter Landin Prize ------------------ The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. Programme committee ------------------- • Thomas Arts, Quviq, Gothenburg, Sweden • Andrew Butterfield, Trinity College, Dublin, Ireland • Edwin Brady, University of St. Andrews, UK • Clemens Grelck, University of Amsterdam, Netherlands • Adam Granicz, IntelliFactory, Budapest, Hungary • Jeremy Gibbons, University of Oxford, UK • Fritz Henglein, University of Copenhagen, Denmark • Stephan Herhut, Intel Labs, Santa Clara, US • Ralf Hinze (co-chair), University of Oxford, UK • Zoltán Horváth, Eötvös Loránd University, Budapest, Hungary • Zhenjiang Hu, University of Tokyo, Japan • Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina • Johan Jeuring, University of Utrecht, Netherlands • Rita Loogen, University of Marburg, Germany • Marco T. Morazán, Seton Hall University, New Jersey, US • Dominic Orchard, University of Cambridge, UK • Rinus Plasmeijer (chair), Radboud University Nijmegen, Netherlands • Tim Sheard, Portland State University, US • Sam Tobin-Hochstadt, Northeastern University / Indiana University, US • Peter Thiemann, University of Freiburg, Germany • Simon Thompson, University of Kent, UK Venue ----- The 25th IFL is organized by the Radboud University Nijmegen, Model Based Software Development Department at the Nijmegen Institute for Computing and Information Sciences. The event is held in the Landgoed “Holthurnsche Hof”, a rural estate in the woodlands surrounding Nijmegen. It can be reached quickly and easily by public transport. _______________________________________________ Haskell mailing list Haskell&lt; at &gt;haskell.org http://www.haskell.org/mailman/listinfo/haskell </pre> publicityifl< at >gmail.com 2013-05-27T09:03:55 SLE 2013 - Final Call for Papers http://comments.gmane.org/gmane.comp.lang.haskell.general/19833 <pre> ======================================================================== CALL FOR PAPERS 6th International Conference on Software Language Engineering (SLE 2013) Oct 26-28, 2013, Indianapolis, IN, USA (Co-located with SPLASH 2013 and GPCE 2013) General chair: Eric Van Wyk, University of Minnesota, USA Program co-chairs: Martin Erwig, Oregon State University, USA Richard Paige, University of York, UK Keynote speaker: Don Batory, University of Austin, USA http://planet-sl.org/sle2013 ======================================================================== IMPORTANT DATES Deadline for abstracts: June 7, 2013 (Midnight UTC-8, Pacific Standard Time) Deadline for full papers: June 14, 2013 (Midnight UTC-8, Pacific Standard Time) Notification to authors: August 3, 2013 Camera-ready copies due: August 16, 2013 Conference: October 26 -28, 2013 TYPES OF SUBMISSIONS We solicit the following types of papers: - Research papers: These should report a substantial research contribution to SLE or successful application of SLE techniques or both. Full paper submissions must not exceed 20 pages (in LNCS format). - Industrial experience papers: These papers discuss practical applications of SLE technology with an emphasis on the advantages and disadvantages of the method, techniques, or tools used. These papers must not exceed 10 pages (in LNCS format). - Tool demonstration papers: Because of SLE's ample interest in tools, we seek papers that present software tools related to the field of SLE. These papers will accompany a tool demonstration to be given at the conference. These papers must not exceed 10 pages (in LNCS format). The selection criteria include the originality of the tool, its innovative aspects, the relevance of the tool to SLE, and the maturity of the tool. Papers are submitted via the Easychair system: https://www.easychair.org/conferences/?conf=sle2013 SCOPE The term "software language" refers to artificial languages used in software development. These include general-purpose programming languages, domain-specific languages, modeling and metamodeling languages, data models and ontologies. Examples include general purpose modeling languages such as SysML and UML, metamodeling frameworks such as Ecore, MOF or GOPRR, domain-specific modeling languages for business process modeling, such as BPMN, or embedded systems, such as Simulink or Modelica, and specialized XML-based and OWL-based languages and vocabularies. The term "software language" is intentionally broad; besides the above categories and examples, it also encompasses implicit approaches to language definition, such as APIs and collections of design patterns. Software language engineering is the application of systematic, disciplined, and measurable approaches to the development (design, implementation, testing, deployment), use, deployment, and maintenance (evolution, recovery, and retirement) of these languages. Of special interest are (1) formal descriptions of languages that are used to design or generate language-based tools and (2) methods and tools for managing such descriptions, including modularization, refactoring, refinement, composition, versioning, co-evolution, recovery, and analysis. TOPICS OF INTEREST We solicit high-quality contributions in the area of SLE ranging from theoretical and conceptual contributions to tools, techniques, and frameworks that support the aforementioned lifecycle activities. The topics of interest include, but are not limited to the following: - Formalisms used in designing and specifying languages, and tools that analyze language descriptions - Language implementation techniques: compiler generator tools, attribute grammar systems, term-rewriting systems, functional programming-based combinator libraries; metamodel-based and ontology tools implementing constraint, rule, view, transformation, and query formalisms and engines. - Transformations and transformation languages, as well as program and model transformation tools, and approaches for mapping between ontologies. - Language evolution: Included are extensible languages and type systems and their supporting tools and language conversion tools, approaches for ontology evolution, approaches for impact analysis of language evolution. - Approaches to the elicitation, specification, and verification of requirements for software languages: Examples include the use of requirements engineering techniques in domain engineering and in the development of domain-specific languages and the application of logic-based formalisms for verifying language and domain requirements. - Language development frameworks, methodologies, techniques, best practices, and tools for the broader language lifecycle covering phases such as analysis, testing, and documentation. For example, frameworks for advanced type or reasoning systems, constraint mechanisms, tools for metrics collection and language usage analysis, assessing language usability, documentation generators, visualization backends, generation of tests for language-based tools, knowledge and process management approaches, as well as IDE support for many of these activities are of interest. - Integration and interoperation between different approaches to software language engineering; for example, ways to integrate grammar-based and ontology-based approaches to language definition. - Design challenges in SLE: Example challenges include finding a balance between specificity and generality in designing domain-specific languages, between strong static typing and weaker yet more flexible type systems, or between deep and shallow embedding approaches, as, for example, in the context of adding type-safe XML and database programming support to general-purpose programming languages. - Applications of languages including innovative domain-specific languages or "little" languages: Examples include policy languages for security or service-oriented architectures, web-engineering with schema-based generators or ontology-based annotations. Of specific interest are the engineering aspects of domain-specific language support in all of these cases. The program committee chairs encourage potential contributors to contact them with questions about the scope and topics of interest of SLE. The overall principle of SLE is to be broad-minded and inclusive about relevance and scope, and to invest in community building when soliciting and selecting papers. PROGRAM COMMITTEE Emilie Balland, INRIA, France Olaf Chitil, University of Kent, UK James R. Cordy, Queen's University, Canada Davide Di Ruscio, Università degli Studi dell'Aquila, Italy Iavor Diatchki, Galois Inc., USA Anne Etien, LIFL - University of Lille 1, Fance Jean-Marie Favre, University of Grenoble, Fance Dragan Gasevic, Athabasca University, Canada Andy Gill, University of Kansas, USA Jeremy Gibbons, University of Oxford, UK Jeff Gray, University of Alabama, USA Giancarlo Guizzardi, Federal University of Espirito Santo, Brazil Gorel Hedin, Lund University, Sweden Markus Herrmannsdoerfer, Technische Universität München, Germany Zhenjiang Hu, NII, Japan Oleg Kiselyov, USA Paul Klint, Centrum Wiskunde &amp; Informatica, The Netherlands Thomas Kuehne, Victoria University of Wellington, New Zealand Kim Mens, UC Louvain, Belgium Pierre-Etienne Moreau, Ecole des Mines Nancy, France Klaus Ostermann, Marburg University, Germany Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany Fiona Polack, Dept of Computer Science, University of York, UK Lukas Renggli, University of Bern, Switzerland Bernhard Rumpe, RWTH Aachen University, Germany João Saraiva, Universidade do Minho, Portugal Friedrich Steimann, Fernuniversität in Hagen, Germany Gabriele Taentzer, Marburg University, Germany Mark Van Den Brand, TU/e, The Netherlands Jurgen Vinju, Centrum Wiskunde &amp; Informatica, The Netherlands </pre> Martin Erwig 2013-05-22T18:52:22 ICSM 2013 - CFP for ERA/Tool Demo/DoctoralSymposium/Industry Tracks http://comments.gmane.org/gmane.comp.lang.haskell.general/19830 <pre>============================================================================ ICSM 2013 CFP - ERA/Tool Demo/Doctoral Symposium/Industry Tracks ============================================================================ 29th IEEE International Conference on Software Maintenance 22 - 28 September 2013 - Eindhoven, The Netherlands http://icsm2013.tue.nl/ Follow us on Twitter: &lt; at &gt;IEEEICSM ============================================================================ The deadline for the ERA/Tool Demo/Doctoral Symposium/Industry tracks is approaching! Please read below and refer to the web page for further information. ================================ IMPORTANT DATES ================================ Abstract submission: June 17, 2013 Full papers submission: June 24, 2013 Notification: July 26, 2013 Camera-ready: August 9, 2013 ================================ ERA Track ================================ The goal of the Early Research Achievements (ERA) track is to provide researchers and practitioners with a forum for presenting great, promising ideas in early stages of research. These ideas do not require a strong empirical evaluation! The 2013 ERA track aims to provide constructive feedback to guide you from your initial idea and limited evaluation towards a solid ICSM 2014 paper with strong empirical underpinnings. The topics of interest for this track are the same as for the main research track, i.e., all the topics in the research and practice of software maintenance and evolution. Papers submitted to the ERA track must not have been accepted previously for publication or submitted for review to another conference, journal, or book. Submissions must be in English and conform to the IEEE proceedings style. They must be four-page long, including all text, references, appendices, and figures. Submissions will be evaluated on the basis of their originality, importance of contribution, soundness, evaluation (if available), quality and consistency of presentation, and appropriate comparison to related work. Further details are available at: http://icsm2013.tue.nl/CFP/index.html ================================ Doctoral Symposium Track ================================ As with previous editions, ICSM 2013 will feature a double doctoral symposium: Pre-doctoral: The first part is dedicated to PhD students in the midst of their doctoral studies in the field of software maintenance, who intend to finish their PhD within the next two years (2014-2015). This symposium aims to provide PhD students with an opportunity to present their ongoing work, to interact with other researchers in the field, and to get constructive feedback from senior researchers. Participants will discuss their goals, methods, and results at an early stage in their research. For the pre-doctoral symposium the submission should not exceed 4 pages. Details on the required content are available at: http://icsm2013.tue.nl/CFP/index.html Post-doctoral: The second part is dedicated to researchers who have delivered their PhD dissertations in the area of software maintenance and evolution within the last 2 years (2011-2012). This symposium aims to provide a forum for post-docs to present the highlights of their work to the ICSM community. Moreover, participants will be asked to reflect on the PhD process itself, and share some lessons learned with PhD students as well as PhD advisors. For the post-doctoral symposium the submission should not exceed 6 pages. Details on the required content are available at: http://icsm2013.tue.nl/CFP/index.html ================================ Industrial Track ================================ This track aims to foster mutually beneficial links between those engaged in scientific research and practitioners working to improve software maintenance practices. We are interested in results (both good and bad), obstacles, and lessons learned. Experiences from practitioners provide crucial input into future research directions and allow others to learn from successes and failures. For the industry track, we invite submissions of state-of-the-art practice and experience reports, survey reports from real-world projects and industrial experiences, and evidence-based identifications of unsolved research challenges associated to software maintenance. If you apply in an industrial context a method, model or tool, which you know was earlier presented at ICSM or other software engineering conference, we also warmly encourage you to submit to this track. Each submission should describe the problem addressed, the approach used, the current state of the project, an evaluation of the benefits or lessons learnt, and future developments. Submissions must be in English and conform to the IEEE proceedings style. They must be four-page long, including all text, references, appendices, and figures. Further details are available at: http://icsm2013.tue.nl/CFP/index.html ================================ Tool Demo Track ================================ This track provides an opportunity for researchers and practitioners to present and discuss the most recent advances, experiences, and challenges in the field of software maintenance with the goal of allowing live presentation of new research tools. Whether the tools are early research prototypes or polished tools prepared for commercialization (but not yet commercialized), the ICSM demo track provides the perfect opportunity to reach an international audience of researchers and practitioners, and solicit critical feedback. This year's demo track consists of demonstrators who get about 15 minutes in the conference program for presenting their tool. The presentation should focus on the main use cases of and essential concepts behind the tool, and should include an actual tool demo of at least 10 minutes. Accepted demos will be included in the ICSM proceedings. Demos also require a website and a 4-page proposal. Participation to the demos requires: 1) a 4-page proposal (format: IEEE format and template) describing the problem context, a typical usage scenario, existing tools and their shortcomings, the concepts behind the proposed tool, a graphical overview of the tool's architecture, a short discussion of the technologies used for implementation, a summary of experiments or other experiences with the tool, an outline of missing features and other future work, and the URL of the tool's website (see 2.); 2) a small website (referenced in the proposal) containing the URL of the screencast as well as the download link of the actual tool, together with clear installation instructions. The proposal should be submitted via EasyChair at http://www.easychair.org/conferences/?conf=icsmtool2013 The website do NOT need to be submitted via EasyChair, since their URL can be found via the proposal. If the tool is not available for download, the authors should clearly explain the rationale for this in the proposal. Each submission will be reviewed by at least 3 members of the tool demo PC. Major reviewing criteria are: relevance to the ICSM audience quality of the proposal novelty of the tool adherence to the tool demo guidelines Accepted demos will be allocated 4 pages in the conference proceedings. At least one author of each accepted demo must register and attend ICSM 2013 for the demo to be published in the proceedings. In addition, demonstrators will be expected to give a presentation that will be scheduled in the conference program. Demonstrators are expected to provide their own equipment. Please mention supplemental wishes (e.g., Internet access) in a seperate appendix in proposal, this appendix will NOT be included in proceedings. ================================ CHAIRS ================================ General Chair: Alexander Serebrenik, Eindhoven University of Technology, The Netherlands Program Co-chairs: Tom Mens, University of Mons, Belgium and Yann-Gaël Guéhéneuc, École Polytechnique de Montréal, Canada ERA Program Co-chairs: Romain Robbes, University of Chile, Chile and Bram Adams, École Polytechnique de Montréal, Canada Industry Track Chair: Joost Visser, Software Improvement Group in Amsterdam, The Netherlands Doctoral Symposium Co-chairs: Lori Pollock, University of Delaware, USA and Tibor Gyimothy, University of Szeged, Hungary Tools Track Co-chairs: Mark van den Brand, Eindhoven University of Technology, The Netherlands and Anthony Cleve, University of Namur, Belgium </pre> Natalia Dragan 2013-05-21T03:11:56 Search Engine Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.lang.haskell.general