- Haskell - Haskell.org

Two research assistantships in model-driven engineering and semantic technologies, University of Oxford
by Jeremy Gibbons 16 Jan '15

16 Jan '15

We have two positions open in the Programming Languages and Software Engineering Research Group, for research assistants (postdocs) in model-driven engineering and semantic technologies. The positions are associated with the EU-funded “ALIGNED: Quality-Centric Software and Data Engineering” project, working with Jim Davies and Jeremy Gibbons. The primary selection criteria are strong design and development skills in object-oriented and functional programming, representation and manipulation of semi-structured data, and model transformation, together with a proven track record of relevant publications. (Although the posts won't be primarily focussed on FP, we would welcome applications from FPers interested in MDE.) Applicants should have a PhD in Computer Science. Full details are at http://www.cs.ox.ac.uk/news/869-full.html and the closing date is 12 noon GMT on 9th February. Please contact me if you have any questions about the positions, and please distribute this notice to anyone who may be interested. Jeremy and Jim Jeremy.Gibbons(a)cs.ox.ac.uk Oxford University Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. ☎ +44 1865 283521 http://www.cs.ox.ac.uk/people/jeremy.gibbons/

1 0

Mathematics of Program Construction (MPC 2015): final call for papers
by José Pedro Magalhães 15 Jan '15

15 Jan '15

Apologies for multiple copies. FINAL CALL FOR PAPERS 12th International Conference on Mathematics of Program Construction, MPC 2015 Königswinter, Germany, 29 June - 1 July 2015 http://www.cs.ox.ac.uk/conferences/MPC2015/ BACKGROUND The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs, broadly interpreted. The 2015 MPC conference will be held in Königswinter, Germany, from 29th June to 1st July 2015. The previous conferences were held in Twente, The Netherlands (1989), Oxford, UK (1992), Kloster Irsee, Germany (1995), Marstrand, Sweden (1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany (2002), Stirling, UK (2004, colocated with AMAST), Kuressaare, Estonia (2006, colocated with AMAST), Marseille, France (2008), Québec City, Canada (2010, colocated with AMAST), and Madrid, Spain (2012). TOPICS Papers are solicited on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. The notion of "program" is broad, from algorithms to hardware. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics. Theoretical contributions are welcome, provided that their relevance to program construction is clear. Reports on applications are welcome, provided that their mathematical basis is evident. We also encourage the submission of "pearls": elegant, instructive, and fun essays on the mathematics of program construction. IMPORTANT DATES * Submission of abstracts: 26 January 2015 * Submission of full papers: 2 February 2015 * Notification to authors: 16 March 2015 * Final version: 13 April 2015 SUBMISSION Submission is in two stages. Abstracts (plain text, 10 to 20 lines) must be submitted by 26 January 2015. Full papers (pdf) adhering to the LaTeX llncs style must be submitted by 2 February 2015. There is no official page limit, but authors should strive for brevity. The web-based system EasyChair will be used for submission (https://easychair.org/conferences/?conf=mpc2015) Papers must report previously unpublished work, and must not be submitted concurrently to a journal or to another conference with refereed proceedings. Accepted papers must be presented at the conference by one of the authors. Please feel free to write to mpc2015(a)easychair.org with any questions about academic matters. The proceedings of MPC 2015 will be published in Springer-Verlag's Lecture Notes in Computer Science series, as have all the previous editions. Authors of accepted papers will be expected to transfer copyright to Springer for this purpose. After the conference, authors of the best papers will be invited to submit revised versions to a special issue of the Elsevier journal Science of Computer Programming. PROGRAMME COMMITTEE Ralf Hinze University of Oxford, UK (chair) Eerke Boiten University of Kent, UK Jules Desharnais Université Laval, Canada Lindsay Groves Victoria University of Wellington, New Zealand Zhenjiang Hu National Institute of Informatics, Japan Graham Hutton University of Nottingham, UK Johan Jeuring Utrecht University and Open University, The Netherlands Jay McCarthy Vassar College, US Larissa Meinicke The University of Queensland, Australia Bernhard Möller Universität Augsburg, Germany Shin-Cheng Mu Academia Sinica, Taiwan Dave Naumann Stevens Institute of Technology, US Pablo Nogueira Universidad Politécnica de Madrid, Spain Ulf Norell University of Gothenburg, Sweden Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong José Nuno Oliveira Universidade do Minho, Portugal Alberto Pardo Universidad de la República, Uruguay Christine Paulin-Mohring INRIA-Université Paris-Sud, France Tom Schrijvers KU Leuven, Belgium Emil Sekerinski McMaster University, Canada Tim Sheard Portland State University, US Anya Tafliovich University of Toronto Scarborough, Canada Tarmo Uustalu Institute of Cybernetics, Estonia Janis Voigtländer Universität Bonn, Germany VENUE The conference will take place in Königswinter, Maritim Hotel, where accommodation has been reserved. Königswinter is situated on the right bank of the river Rhine, opposite Germany's former capital Bonn, at the foot of the Siebengebirge. LOCAL ORGANIZERS Ralf Hinze University of Oxford, UK (co-chair) Janis Voigtländer Universität Bonn, Germany (co-chair) José Pedro Magalhães University of Oxford, UK Nicolas Wu University of Oxford, UK For queries about local matters, please write to jv(a)informatik.uni-bonn.de.

1 0

PhD position
by Neil Ghani 14 Jan '15

14 Jan '15

****************************************************************** *** PhD Position *** *** Categories, Coalgebras and Types *** *** Mathematically Structured Programming Group *** University of Strathclyde *** ****************************************************************** Applications are invited for PhD study under the supervision of Prof Neil Ghani and Dr Conor McBride on any of the following topics * Dependently Typed Programming * Homotopy Type Theory * Coalgebra * Category Theory in Computer Science The position is fully funded for EU students (apologies to non EU-citizens for this ridiculous piece of non-meritocracy) and will last for 3 years.The applicant's motivation must centre on a desire for beautiful mathematics of lasting value. The applicant should also have an innate sense of the wonder of learning allied to the capacity to work hard and achieve their goals. The Mathematically Structured Programming Group's vision is to use mathematics to understand the nature of computation, and to then turn that understanding into the next generation of programming languages. This reflects the symbiotic relationship between mathematics, programming, and the design of programming languages --- any attempt to sever this connection will diminish each component. In order to achieve these research goals we mainly use ideas from category theory, type theory and functional programming. Besides Professor Neil Ghani and Dr Conor McBride, the group consists of a number of internationally leading researchers including Dr Clemens Kupke, Dr Ross Duncan, Dr Robert Atkey and Dr Fredrick Norvall-Forsberg as well as a number of PhD students. So, if you are interested in Neil-and-Conor studies, please contact us. Applications will be considered on a first come, first served basis.

1 0

TYPES 2015 call for contributions
by Tarmo Uustalu 14 Jan '15

14 Jan '15

CALL FOR CONTRIBUTIONS 21st International Conference on Types for Proofs and Programs, TYPES 2015 Tallinn, Estonia, 18-21 May 2015 http://cs.ioc.ee/types15/ Background The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. The meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. Since 2009, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy en Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014). The TYPES areas of interest include, but are not limited to: foundations of type theory and constructive mathematics; applications of type theory; dependently typed programming; industrial uses of type theory technology; meta-theoretic studies of type systems; proof assistants and proof technology; automation in computer-assisted reasoning; links between type theory and functional programming; formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. Invited speakers Gilles Barthe (IMDEA Software) Andrej Bauer (University of Ljubljana) Peter Selinger (Dalhousie University) Contributed talks We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pp formatted with easychair.cls. Submission is via EasyChair by 13 March 2015. The authors will be notified of acceptance/rejection by 3 April 2015. Camera-ready versions of the accepted contributions, due by 24 April 2015, will be published in an informal book of abstracts for distribution at the workshop. Post-proceedings Similarly to TYPES 2011, 2013, 2014, we intend to publish a post-proceedings volume in the Leibniz International Proceedings in Informatics (LIPiCS) series (subject to successful negotiation with Dagstuhl Publishing). Submission to that volume would be open for everyone. Tentative submission deadline: mid-September 2015. Programme committee Andrea Asperti (Università di Bologna) Robert Atkey (University of Edinburgh) Ulrich Berger (Swansea University) Jean-Philippe Bernardy (Chalmers University of Technology) Edwin Brady (University of St Andrews) Joëlle Despeyroux (INRIA Sophia Antipolis - Méditerranée) Herman Geuvers (Radboud Universiteit Nijmegen) Sam Lindley (University of Edinburgh) Assia Mahboubi (INRIA Saclay - Île-de-France) Ralph Matthes (IRIT, Université Paul Sabatier) Aleks Nanevski (IMDEA Software) Christine Paulin-Mohring (LRI, Université Paris-Sud) Simona Ronchi Della Rocca (Università di Torino) Ulrich Schöpp (Ludwig-Maximilians-Universität München) Bas Spitters (Carnegie Mellon University) Pawel Urzyczyn (University of Warsaw) Tarmo Uustalu (Institute of Cybernetics, Tallinn) (chair) Organizers Logic and semantics group, Institute of Cybernetics, Tallinn Sponsors ERDF via EXCS, the Estonian Centre of Excellence in Computer Science

1 0

Vacancies: 4 PhD students Software Technology Utrecht University
by Johan Jeuring 13 Jan '15

13 Jan '15

============================================================ 4 x PhD position in Software Technology ============================================================ The research group of Software Technology is part of the Software Systems division of in the department of Information and Computer Science at the Utrecht University. We focus our research on functional programming, compiler construction, program analysis, validation, and verification. Financed by the Netherlands Organisation for Scientific Research (NWO), the EU, Technology Foundation STW and Utrecht University we currently have job openings for four PhD researchers (PhD students) in Software Technology. We are looking for PhD students to work on some of the following topics: * Version control of structured data The theory and practice underlying structure-aware version control systems capable of handling more than just text files. * Intelligent tutoring technologies Technologies for tutoring subjects such as functional programming, statistics, algebra, etc. * Serious games Domain-specific languages and technologies for specifying strategies for serious games. * iTasks iTasks is a formalism for specifying distributed tasks. Specify and test properties of iTasks, and give run-time feedback for iTasks. Besides research, the successful candidate will be expected to help supervise MSc students and assist teaching courses. We prefer candidates to start no later than September 2015. --------------------------- What we are looking for --------------------------- The candidate should have an MSc in Computer Science, be highly motivated, speak and write English well. Furthermore the successful candidate should be proficient in reporting scientific findings. Knowledge of and experience with at least some of the following areas (depending on the topic chosen to work on for your PhD) is essential: * functional programming, such as Haskell or ML; * datatype generic programming; * intelligent tutoring systems; * serious games; * strategies, rewriting, parsing; * modern version control systems such as git, mercurial, or darcs. ------------------ What we offer ------------------ The candidate is offered a full-time position for 4 years. A part-time position of at least 0.8 fte may also be possible. Salary starts at 2083 euro and increases to 2664 euro gross per month in the fourth year of the appointment. 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, partially paid parental leave, flexible employment conditions. Conditions are based on the Collective Labour Agreement Dutch Universities. The research group will provide the candidate with necessary support on all aspects of the project. ---------------- How 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, such as 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 deadline is March 8, 2015. You can apply online through the University's website: http://tinyurl.com/qhlco6s --------------------------- Additional information --------------------------- If you have any questions regarding these positions, please contact Johan Jeuring +31 (0)640010053 J.T.Jeuring(a)uu.nl Wouter Swierstra +31 (0)30 253 9207 w.s.swierstra(a)uu.nl

1 0

Haskell Weekly News: Issue 314
by Daniel Santa Cruz 08 Jan '15

08 Jan '15

Welcome to issue 314 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from December 7, 2014 to January 3, 2015 I know... I know. It's been a while Quotes of the Week * arianvp__: after 5 hours of hacking my code works || now its 3 am || Types make a lot more sense when I'm tired for some reason * dmwit: "Any coder worth his salt can do the impossible." * hodapp: Math is too hard. Let's use JavaScript. * Zemyla: I imagine if [Edward Kmett] had found C++, he would be writing template definitions that would make the faces of the Boost team melt off. Top Reddit Stories * Kronos Haskell Notebook (Mac App) Domain: kronosnotebook.com, Score: 114, Comments: 21 Original: [1] http://goo.gl/nOnLuz On Reddit: [2] http://goo.gl/SNLxjo * The "What Are Monads?" Fallacy Domain: two-wrongs.com, Score: 112, Comments: 93 Original: [3] http://goo.gl/Beu6wO On Reddit: [4] http://goo.gl/CxcK1f * Learn You Some Algebras for Glorious Good! - A fun, easy-to-read math textbook. Domain: self.haskell, Score: 109, Comments: 106 Original: [5] http://goo.gl/3623n6 On Reddit: [6] http://goo.gl/3623n6 * GHC illustrated [PDF] Domain: takenobu-hs.github.io, Score: 108, Comments: 30 Original: [7] http://goo.gl/yj7ySL On Reddit: [8] http://goo.gl/sro7qH * The Haskell Cast #9 - Conal Elliott on FRP and Denotational Design Domain: haskellcast.com, Score: 94, Comments: 34 Original: [9] http://goo.gl/tls8K3 On Reddit: [10] http://goo.gl/NIJZ1X * GHC 7.10.1 will support 'static values', allowing you to create stable references to values across programs/machines for serialization, RPC, etc... Domain: phabricator.haskell.org, Score: 91, Comments: 26 Original: [11] http://goo.gl/bsfROl On Reddit: [12] http://goo.gl/weGkIq * 24 Days of GHC Extensions: Thanks! Domain: ocharles.org.uk, Score: 82, Comments: 11 Original: [13] http://goo.gl/6ee2Jb On Reddit: [14] http://goo.gl/CYoai5 * git clone in Haskell from the bottom up Domain: stefan.saasen.me, Score: 81, Comments: 9 Original: [15] http://goo.gl/nWSXV On Reddit: [16] http://goo.gl/ULS3YO * A commentary on 24 days of GHC extensions Domain: augustss.blogspot.com, Score: 78, Comments: 5 Original: [17] http://goo.gl/C4nKNN On Reddit: [18] http://goo.gl/cGBdss * Haskell for all: A very general API for relational joins Domain: haskellforall.com, Score: 77, Comments: 29 Original: [19] http://goo.gl/WVGtQl On Reddit: [20] http://goo.gl/8McEkB * Elm 0.14 - Simpler Core, Better Tools Domain: elm-lang.org, Score: 76, Comments: 38 Original: [21] http://goo.gl/7Oq4Xe On Reddit: [22] http://goo.gl/e9wbAm * Rethinking webservice and APIs in Haskell: servant 0.2 Domain: alpmestan.com, Score: 74, Comments: 59 Original: [23] http://goo.gl/Jl2CMS On Reddit: [24] http://goo.gl/HsB5zi * ANNOUNCE: GHC 7.10.1 Release Candidate 1 Domain: permalink.gmane.org, Score: 74, Comments: 4 Original: [25] http://goo.gl/I9ezar On Reddit: [26] http://goo.gl/SRNHG9 * 24 Days of GHC Extensions: Rank N Types Domain: ocharles.org.uk, Score: 69, Comments: 27 Original: [27] http://goo.gl/1OuyNg On Reddit: [28] http://goo.gl/5m79zT * A Haskell Implementation Reading List Domain: stephendiehl.com, Score: 66, Comments: 0 Original: [29] http://goo.gl/YnFyTs On Reddit: [30] http://goo.gl/3TudIF * Learning Curves for different programming languages (including Haskell) Domain: github.com, Score: 66, Comments: 106 Original: [31] http://goo.gl/SxsT10 On Reddit: [32] http://goo.gl/KNsLqh * Functional Education Domain: bitemyapp.com, Score: 66, Comments: 10 Original: [33] http://goo.gl/f4EI02 On Reddit: [34] http://goo.gl/wDxjkj * Snowdrift.coop hiring lead programmer (Haskell/Yesod) Domain: snowdrift.coop, Score: 65, Comments: 8 Original: [35] http://goo.gl/Nh0GL2 On Reddit: [36] http://goo.gl/8tLsy8 * 24 Days of GHC Extensions: Functional Dependencies Domain: ocharles.org.uk, Score: 58, Comments: 4 Original: [37] http://goo.gl/mBkf8n On Reddit: [38] http://goo.gl/uv3Mhs * So you want to learn type theory... but where to start? Here are some suggestions. Domain: purelytheoretical.com, Score: 58, Comments: 9 Original: [39] http://goo.gl/z73MMM On Reddit: [40] http://goo.gl/9AuJJl * 24 Days of Hackage: Static Pointers (guest post by Mathieu Boespflug) Domain: ocharles.org.uk, Score: 57, Comments: 32 Original: [41] http://goo.gl/4mhlNL On Reddit: [42] http://goo.gl/jsSYr9 * 24 Days of GHC Extensions: Type Families Domain: ocharles.org.uk, Score: 56, Comments: 11 Original: [43] http://goo.gl/uwLBsA On Reddit: [44] http://goo.gl/ykn06l * 24 Days of GHC Extensions: Nullary Type Classes Domain: ocharles.org.uk, Score: 54, Comments: 23 Original: [45] http://goo.gl/4k5bQw On Reddit: [46] http://goo.gl/crIJbb * 24 Days of GHC Extensions: DeriveGeneric Domain: ocharles.org.uk, Score: 54, Comments: 27 Original: [47] http://goo.gl/gKijr1 On Reddit: [48] http://goo.gl/SRMNuR * 24 Days of GHC Extensions: Existential Quantification (guest post by Roman Cheplyaka) Domain: ocharles.org.uk, Score: 54, Comments: 0 Original: [49] http://goo.gl/wXwsDU On Reddit: [50] http://goo.gl/vLaS92 * 24 Days of GHC Extensions: Multi-parameter Type Classes Domain: ocharles.org.uk, Score: 52, Comments: 11 Original: [51] http://goo.gl/2sWnsC On Reddit: [52] http://goo.gl/h4mRBb * A demo written in Haskell got 3rd place in Experience Domain: youtube.com, Score: 48, Comments: 37 Original: [53] http://goo.gl/9l7B6h On Reddit: [54] http://goo.gl/8Np97P * 24 Days of GHC Extensions: Overloaded Strings Domain: ocharles.org.uk, Score: 48, Comments: 23 Original: [55] http://goo.gl/u6aiAi On Reddit: [56] http://goo.gl/Xtww0S * Intro to Machines & Arrows (Part 1: Stream and Auto) Domain: blog.jle.im, Score: 48, Comments: 25 Original: [57] http://goo.gl/MwouKm On Reddit: [58] http://goo.gl/934frV * 24 Days of GHC Extensions: Recursive Do Domain: ocharles.org.uk, Score: 47, Comments: 7 Original: [59] http://goo.gl/iejmP8 On Reddit: [60] http://goo.gl/H8uEQS * 24 Days of GHC Extensions: Scoped Type Variables (guest post by Tim Docker) Domain: ocharles.org.uk, Score: 47, Comments: 18 Original: [61] http://goo.gl/sWS0dT On Reddit: [62] http://goo.gl/jFPZAC * ANNOUNCE: GHC version 7.8.4 Domain: permalink.gmane.org, Score: 47, Comments: 19 Original: [63] http://goo.gl/0ygVbv On Reddit: [64] http://goo.gl/2eWUsJ * Categories Great and Small (From Bartosz Milewski's Categories for Programmers series) Domain: bartoszmilewski.com, Score: 46, Comments: 8 Original: [65] http://goo.gl/NfpA7X On Reddit: [66] http://goo.gl/ghq472 * Denotational design does not work Domain: ro-che.info, Score: 45, Comments: 39 Original: [67] http://goo.gl/8hOm0A On Reddit: [68] http://goo.gl/tf4JVc Top StackOverflow Questions * What is happening when I compose * with + in Haskell? votes: 35, answers: 5 Read on SO: [69] http://goo.gl/S9h6Xi * Difference in performance of compiled accelerate code ran from ghci and shell votes: 22, answers: 0 Read on SO: [70] http://goo.gl/zxojbX * Why does this Haskell program diverge? votes: 20, answers: 1 Read on SO: [71] http://goo.gl/NDasIA * Is it possible to skip the nursery? votes: 20, answers: 1 Read on SO: [72] http://goo.gl/Qk4K5i * Haskell performance implementing unix's “cat” program with Data.ByteString votes: 19, answers: 3 Read on SO: [73] http://goo.gl/ekoeor * showsPrec and operator precedences votes: 15, answers: 1 Read on SO: [74] http://goo.gl/ifxaUB * Why does let y = 1 + y compile, and what does it mean? votes: 15, answers: 1 Read on SO: [75] http://goo.gl/vp1Q02 * Type Family Shenanigans in GHCi votes: 13, answers: 1 Read on SO: [76] http://goo.gl/fvJzzO * Quirkiness in Haskell 7.8.3 votes: 13, answers: 1 Read on SO: [77] http://goo.gl/KprcEM * What is the difference between value constructors and tuples? votes: 11, answers: 2 Read on SO: [78] http://goo.gl/5ybmYY * Efficient version of 'inits' votes: 11, answers: 2 Read on SO: [79] http://goo.gl/Qwoirp * Working out the details of a type indexed free monad votes: 11, answers: 7 Read on SO: [80] http://goo.gl/oMjYQn * How to model a currencies, money, and banks that exchange money between currencies? votes: 10, answers: 3 Read on SO: [81] http://goo.gl/svZY2T * Why are these functions differently evaluated votes: 10, answers: 2 Read on SO: [82] http://goo.gl/nrD5pA * Why does a more general type affect runtime in Haskell? votes: 10, answers: 2 Read on SO: [83] http://goo.gl/oVeQKg * List based on right Kan extension votes: 9, answers: 2 Read on SO: [84] http://goo.gl/VxPhv0 * How to inject the result of an IO action into a non-IO monadic computation votes: 9, answers: 3 Read on SO: [85] http://goo.gl/WzrvDP * Why I get the “class Num a where” instead of the “class (Eq a, Show a) => Num a”? votes: 9, answers: 4 Read on SO: [86] http://goo.gl/glKEeK * How to avoid default return value when accessing a non-existent field with lenses? votes: 9, answers: 2 Read on SO: [87] http://goo.gl/RROrVM * How much does Haskell/GHC memoize? votes: 9, answers: 1 Read on SO: [88] http://goo.gl/PuUKt4 Until next time, [89]+Daniel Santa Cruz References 1. http://www.kronosnotebook.com/haskell 2. http://www.reddit.com/r/haskell/comments/2r43q0/kronos_haskell_notebook_mac… 3. http://two-wrongs.com/the-what-are-monads-fallacy 4. http://www.reddit.com/r/haskell/comments/2r2cpe/the_what_are_monads_fallacy/ 5. http://www.reddit.com/r/haskell/comments/2qu7w8/learn_you_some_algebras_for… 6. http://www.reddit.com/r/haskell/comments/2qu7w8/learn_you_some_algebras_for… 7. http://takenobu-hs.github.io/downloads/haskell_ghc_illustrated.pdf 8. http://www.reddit.com/r/haskell/comments/2qxcmz/ghc_illustrated_pdf/ 9. http://www.haskellcast.com/episode/009-conal-elliott-on-frp-and-denotationa… 10. http://www.reddit.com/r/haskell/comments/2pdhe9/the_haskell_cast_9_conal_el… 11. https://phabricator.haskell.org/rGHCfc45f32491313d2a44e72d8d59cdf95b1660189d 12. http://www.reddit.com/r/haskell/comments/2otl0f/ghc_7101_will_support_stati… 13. https://ocharles.org.uk/blog/posts/2014-12-24-conclusion.html 14. http://www.reddit.com/r/haskell/comments/2qbfpe/24_days_of_ghc_extensions_t… 15. http://stefan.saasen.me/articles/git-clone-in-haskell-from-the-bottom-up/ 16. http://www.reddit.com/r/haskell/comments/2okt2e/git_clone_in_haskell_from_t… 17. http://augustss.blogspot.com/2014/12/a-commentary-on-24-days-of-ghc.html 18. http://www.reddit.com/r/haskell/comments/2pdu4a/a_commentary_on_24_days_of_… 19. http://www.haskellforall.com/2014/12/a-very-general-api-for-relational-join… 20. http://www.reddit.com/r/haskell/comments/2oji35/haskell_for_all_a_very_gene… 21. http://elm-lang.org/blog/announce/0.14.elm 22. http://www.reddit.com/r/haskell/comments/2ovgw4/elm_014_simpler_core_better… 23. http://alpmestan.com/posts/2014-12-09-rethinking-webservices-apis-haskell.h… 24. http://www.reddit.com/r/haskell/comments/2orb8t/rethinking_webservice_and_a… 25. http://permalink.gmane.org/gmane.comp.lang.haskell.ghc.devel/7529 26. http://www.reddit.com/r/haskell/comments/2q6eei/announce_ghc_7101_release_c… 27. https://ocharles.org.uk/blog/guest-posts/2014-12-18-rank-n-types.html 28. http://www.reddit.com/r/haskell/comments/2pqtxk/24_days_of_ghc_extensions_r… 29. http://www.stephendiehl.com/posts/essential_compilers.html 30. http://www.reddit.com/r/haskell/comments/2pbt0e/a_haskell_implementation_re… 31. https://github.com/Dobiasd/articles/blob/master/programming_language_learni… 32. http://www.reddit.com/r/haskell/comments/2qjnho/learning_curves_for_differe… 33. http://bitemyapp.com/posts/2014-12-31-functional-education.html 34. http://www.reddit.com/r/haskell/comments/2r0q9h/functional_education/ 35. https://snowdrift.coop/p/snowdrift/w/en/jobs 36. http://www.reddit.com/r/haskell/comments/2r6nke/snowdriftcoop_hiring_lead_p… 37. https://ocharles.org.uk/blog/posts/2014-12-14-functional-dependencies.html 38. http://www.reddit.com/r/haskell/comments/2pal4v/24_days_of_ghc_extensions_f… 39. http://purelytheoretical.com/sywtltt.html 40. http://www.reddit.com/r/haskell/comments/2pzczc/so_you_want_to_learn_type_t… 41. https://ocharles.org.uk/blog/guest-posts/2014-12-23-static-pointers.html 42. http://www.reddit.com/r/haskell/comments/2q85zp/24_days_of_hackage_static_p… 43. https://ocharles.org.uk/blog/posts/2014-12-12-type-families.html 44. http://www.reddit.com/r/haskell/comments/2p3mrm/24_days_of_ghc_extensions_t… 45. https://ocharles.org.uk/blog/posts/2014-12-10-nullary-type-classes.html 46. http://www.reddit.com/r/haskell/comments/2ovvnk/24_days_of_ghc_extensions_n… 47. https://ocharles.org.uk/blog/posts/2014-12-16-derive-generic.html 48. http://www.reddit.com/r/haskell/comments/2pirdg/24_days_of_ghc_extensions_d… 49. https://ocharles.org.uk/blog/guest-posts/2014-12-19-existential-quantificat… 50. http://www.reddit.com/r/haskell/comments/2pu0e8/24_days_of_ghc_extensions_e… 51. https://ocharles.org.uk/blog/posts/2014-12-13-multi-param-type-classes.html 52. http://www.reddit.com/r/haskell/comments/2p792t/24_days_of_ghc_extensions_m… 53. https://www.youtube.com/watch?v=-qISxjnikJ4 54. http://www.reddit.com/r/haskell/comments/2oqo33/a_demo_written_in_haskell_g… 55. https://ocharles.org.uk/blog/posts/2014-12-17-overloaded-strings.html 56. http://www.reddit.com/r/haskell/comments/2pmon2/24_days_of_ghc_extensions_o… 57. http://blog.jle.im/entry/intro-to-machines-arrows-part-1-stream-and 58. http://www.reddit.com/r/haskell/comments/2qirmb/intro_to_machines_arrows_pa… 59. https://ocharles.org.uk/blog/posts/2014-12-09-recursive-do.html 60. http://www.reddit.com/r/haskell/comments/2osh3v/24_days_of_ghc_extensions_r… 61. https://ocharles.org.uk/blog/guest-posts/2014-12-20-scoped-type-variables.h… 62. http://www.reddit.com/r/haskell/comments/2pwecw/24_days_of_ghc_extensions_s… 63. http://permalink.gmane.org/gmane.comp.lang.haskell.ghc.devel/7526 64. http://www.reddit.com/r/haskell/comments/2q6oln/announce_ghc_version_784/ 65. http://bartoszmilewski.com/2014/12/05/categories-great-and-small/ 66. http://www.reddit.com/r/haskell/comments/2phex1/categories_great_and_small_… 67. http://ro-che.info/articles/2014-12-31-denotational-design-does-not-work 68. http://www.reddit.com/r/haskell/comments/2qvbhp/denotational_design_does_no… 69. http://stackoverflow.com/questions/27664213/what-is-happening-when-i-compos… 70. http://stackoverflow.com/questions/27541609/difference-in-performance-of-co… 71. http://stackoverflow.com/questions/27421598/why-does-this-haskell-program-d… 72. http://stackoverflow.com/questions/27630833/is-it-possible-to-skip-the-nurs… 73. http://stackoverflow.com/questions/27463669/haskell-performance-implementin… 74. http://stackoverflow.com/questions/27471937/showsprec-and-operator-preceden… 75. http://stackoverflow.com/questions/27557380/why-does-let-y-1-y-compile-and-… 76. http://stackoverflow.com/questions/27490352/type-family-shenanigans-in-ghci 77. http://stackoverflow.com/questions/27663435/quirkiness-in-haskell-7-8-3 78. http://stackoverflow.com/questions/27476446/what-is-the-difference-between-… 79. http://stackoverflow.com/questions/27672585/efficient-version-of-inits 80. http://stackoverflow.com/questions/27676294/working-out-the-details-of-a-ty… 81. http://stackoverflow.com/questions/27408873/how-to-model-a-currencies-money… 82. http://stackoverflow.com/questions/27568791/why-are-these-functions-differe… 83. http://stackoverflow.com/questions/27683108/why-does-a-more-general-type-af… 84. http://stackoverflow.com/questions/27381133/list-based-on-right-kan-extensi… 85. http://stackoverflow.com/questions/27391293/how-to-inject-the-result-of-an-… 86. http://stackoverflow.com/questions/27561604/why-i-get-the-class-num-a-where… 87. http://stackoverflow.com/questions/27567664/how-to-avoid-default-return-val… 88. http://stackoverflow.com/questions/27570371/how-much-does-haskell-ghc-memoi… 89. https://plus.google.com/105107667630152149014/about

1 0

CfP LPNMR 2015 Announcement: Associated Events
by Francesco Calimeri 03 Jan '15

03 Jan '15

[apologies for any cross-posting] Call for Papers --------------------------------------------------------------------------- 13th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2015 http://lpnmr2015.mat.unical.it/ Lexington, KY, USA September 27-30, 2015 (Collocated with the 4th Conference on Algorithmic Decision Theory 2015) --------------------------------------------------------------------------- AIMS AND SCOPE LPNMR 2015 is the thirteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to the construction of systems for declarative programming and knowledge representation, as well as their use in practical applications. This edition of LPNMR will feature several workshops, a special session dedicated to the 6th ASP Systems Competition, and will be collocated with the 4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be a part of the program. Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. We invite submissions of both long and short papers. TOPICS Conference topics include, but are not limited to: 1. Foundations of LPNMR Systems: * Semantics of new and existing languages; * Action languages, causality; * Relationships among formalisms; * Complexity and expressive power; * Inference algorithms and heuristics for LPNMR systems; * Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities; * Updates, revision, and other operations on LPNMR systems; * Uncertainty in LPNMR systems. 2. Implementation of LPNMR systems: * System descriptions, comparisons, evaluations; * Algorithms and novel techniques for efficient evaluation; * LPNMR benchmarks. 3. Applications of LPNMR: * Use of LPNMR in formalization of Commonsense Reasoning and other areas of KR; * LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies; * Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking; * Applications of LPNMR to linguistics, psychology, and other sciences * Integration of LPNMR systems with other computational paradigms; * Embedded LPNMR: Systems using LPNMR subsystems. SUBMISSION LPNMR 2015 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: * Technical papers * System descriptions * Application descriptions The indicated number of pages includes title page, references and figures. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer-Verlag Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be formatted according to the Springer LNCS author instructions, http://www.springer.com/comp/lncs/Authors.html must be written in English, and present original research. Paper submission will be electronic through the LPNMR-15 Easychair site: https://www.easychair.org/conferences/?conf=lpnmr2015 Two best papers of general AI interest will be invited for rapid publication in the journal Artificial Intelligence - Journal - Elsevier. Two best papers with narrower logic programming focus will be invited for a rapid publication in the journal Theory and Practice of Logic Programming. MULTIPLE SUBMISSION POLICY LPNMR 2015 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. ASSOCIATED EVENTS WORKSHOPS - LPNMR 2015 will include specialized workshops to be held on September 27 prior to the main conference. Currently planned workshops include: - Grounding, Transforming, and Modularizing Theories with Variables Organizers: Marc Denecker, Tomi Janhunen Website: https://sites.google.com/site/gttv2015/ - Action Languages, Process Modeling, and Policy Reasoning Organizer: Joohyung Lee Website: https://sites.google.com/site/alpp2015/ - Natural Language Processing and Automated Reasoning Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller Website: https://sites.google.com/site/nlpar2015/ - Learning and Nonmonotonic Reasoning Organizers: Alessandra Russo and Alessandra Mileo Website: http://lnmr2015.insight-centre.org/ ASP COMPETITION - A special session dedicated to a discussion of the 6th ASP System Competition, including the methodology of the competition, benchmarks used, lessons learned and, most importantly, the results and the announcement of the winners. ALGORITHMIC DECISION THEORY (ADT) 2015 (collocated - same time and place) Algorithmic Decision Theory is a vibrant and growing area of research concerned with algorithmic aspects of problems arising in social choice and economics that involve optimal ways to aggregate preferences. The area abounds in hard computational problems and may be an axciting area of applications for ASP. The two conferences will seek ways to identify and promote synergies between their respective areas of focus. JOINT LPNMR-ADT DOCTORAL CONSORTIUM: co-Chairs: - Esra Erdem (LPNMR), Sabanci University, Turkey - Nick Mattei (ADT), NICTA, Australia More info: http://lpnmr2015.mat.unical.it/associated-events/adt-lpnmr-2015-doctoral-co… IMPORTANT DATES (TENTATIVE) * Paper registration: April 13, 2015 * Paper submission: April 20, 2015 * Notification: June 1, 2015 * Final versions due: June 15, 2015 VENUE Lexington is a medium size, pleasant and quiet university town. It is located in the heart of the so-called Bluegrass Region in Central Kentucky. The city is surrounded by beautiful horse farms on green pastures dotted with ponds and traditional architecture stables, and small race tracks, and bordered by white or black fences. The Horse Museum is as beautifully located as it is interesting. Overall, the city has a nice feel that mixes well old and new. The conference will be held in the Hilton Lexington Downtown hotel. GENERAL CHAIR Victor Marek, University of Kentucky, KY, USA PROGRAM CHAIRS Giovambattista Ianni, University of Calabria, Italy Mirek Truszczynski, University of Kentucky, KY, USA WORKSHOPS CHAIR Yuliya Lierler, University of Nebrska at Omaha, NE, USA PUBLICITY CHAIR Francesco Calimeri, University of Calabria, Italy PROGRAM COMMITTEE Agostino Dovier, Università di Udine, Italy Agustín Valverde, Universidad de Màlaga, Spain Alessandra Mileo, National University of Ireland, Galway, INSIGHT Centre for Data Analytics, Ireland Andrea Formisano, Dip. di Matematica e Informatica, Università di Perugia, Italy Axel Polleres, Vienna University of Economics and Business, Austria Bart Bogaerts, Department of Computer Science, KU Leuven, Belgium Chiaki Sakama, Wakayama University, Japan Chitta Baral, Arizona State University, USA Christoph Redl, Vienna University of Technology, Austria Daniela Inclezan, Miami University, USA David Pearce, Universidad Politécnica de Madrid, Spain Emilia Oikarinen, Aalto University, Finland Enrico Pontelli, New Mexico State University, USA Esra Erdem, Sabanci University, Istanbul, Turkey Eugenia Ternovska, Simon Fraser University, Canada Fangkai Yang, Schlumberger Ltd Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong Francesco Calimeri, Università della Calabria, Italy Gerhard Brewka, Leipzig University, Germany Giovanni Grasso, Oxford University, UK Hannes Strass, Leipzig University, Germany Hans Tompits, Vienna University of Technology, Austria James Delgrande, Simon Fraser University, Canada Jia-Huai You, University of Alberta, Canada Joohyung Lee, Arizona State University, USA Jose Julio Alferes, Universidade Nova de Lisboa, Portugal Kewen Wang, Griffith University, Australia Marc Denecker, K.U.Leuven, Belgium Marcello Balduccini, Drexel University, USA Marina De Vos, University of Bath, UK Martin Gebser, University of Potsdam, Germany Matthias Knorr, CENTRIA, Universidade Nova de Lisboa, Portugal Mauricio Osorio, Fundacion de la Universidad de las Americas, Puebla, Mexico Michael Fink, Vienna University of Technology, Austria Michael Gelfond, Texas Tech University, USA Orkunt Sabuncu, University of Potsdam, Germany Paul Fodor, Stony Brook University, USA Pedro Cabalar, University of Corunna, Spain Saadat Anwar, Arizona State University, USA Stefan Woltran, Vienna University of Technology Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione, e Matematica, Univ. di L'Aquila, Italy Terrance Swift, CENTRIA, Universidade Nova de Lisboa, Portugal Thomas Eiter, Vienna University of Technology, Austria Tomi Janhunen, Aalto University, Finland Torsten Schaub, University of Potsdam, Germany Tran Cao Son, New Mexico State University, USA Vladimir Lifschitz, University of Texas at Austin, USA Wolfgang Faber, University of Huddersfield, UK Yi Zhou, University of Western Sydney, Australia Yisong Wang, Guizhou University, China Yuliya Lierler, University of Nebraska at Omaha, USA CONTACT lpnmr2015(a)mat.unical.it

1 0

ANNOUNCE: tofromxml Library
by Robert 02 Jan '15

02 Jan '15

Hi haskell(a)haskell.org, following the advice given by haskellwiki/HWN, I would like to announce the ToFromXML library. For a long time I was looking for an easy and convenient way to store/read Haskell data to/from XML, and all solutions I found required a substantial amount of "boilerplate" code (e.g. writing picklers for each data type I want to store). From many other postings I understood that many people felt the same, so I did my best to contribute, coming up with a library. ToFromXML combines Generics and XML Picklers, building upon hexpat[-pickle]. For reading and writing a data type to XML, being "Generic" is the only precondition (most conveniently achieved by "deriving Generic" with the DerivingGeneric pragma given). We have a default instance for Show/Read-able types, instances for almost all primitive types, and also for [Int]Map, Array, Set, e.g. Of course one can add specialized instances, if needed. I tried to add good quality documentation (trying to prevent reasonable rants), and gave a short example. Also, the library comes with a test suite. It have uploaded it to hackage, maybe it turns out useful for fellow Haskellers (at least for me it did the job, and produces human readable XML). Happy new year, cheers! Robert

1 0

Haskell wiki slowness
by David Feuer 28 Dec '14

28 Dec '14

Does anyone know when the wiki will be back up to speed? Until then, could one of the infrastructure people please have status.haskell.org indicate a partial service disruption?

1 0

ANNOUNCE: GHC version 7.8.4
by Austin Seipp 23 Dec '14

23 Dec '14

============================================================== The (Interactive) Glasgow Haskell Compiler -- version 7.8.4 ============================================================== The GHC Team is pleased to announce a new patchlevel release of GHC, 7.8.4. This is an important bugfix release relative to 7.8.3 (with over 30 defects fixed), so we highly recommend upgrading from the previous 7.8 releases. The full release notes are here: https://downloads.haskell.org/~ghc/7.8.4/docs/html/users_guide/release-7-8-… How to get it ~~~~~~~~~~~~~ The easy way is to go to the web page, which should be self-explanatory: https://www.haskell.org/ghc/ We supply binary builds in the native package format for many platforms, and the source distribution is available from the same place. Packages will appear as they are built - if the package for your system isn't available yet, please try again later. Background ~~~~~~~~~~ Haskell is a standard lazy functional programming language. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating good code for a variety of platforms, together with an interactive system for convenient, quick development. The distribution includes space and time profiling facilities, a large collection of libraries, and support for various language extensions, including concurrency, exceptions, and foreign language interfaces (C, whatever). GHC is distributed under a BSD-style open source license. A wide variety of Haskell related resources (tutorials, libraries, specifications, documentation, compilers, interpreters, references, contact information, links to research groups) are available from the Haskell home page (see below). On-line GHC-related resources ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Relevant URLs on the World-Wide Web: GHC home page http://www.haskell.org/ghc/ GHC developers' home page http://ghc.haskell.org/trac/ghc/ Haskell home page http://www.haskell.org/ Supported Platforms ~~~~~~~~~~~~~~~~~~~ The list of platforms we support, and the people responsible for them, is here: http://ghc.haskell.org/trac/ghc/wiki/Platforms http://ghc.haskell.org/trac/ghc/wiki/CodeOwners Ports to other platforms are possible with varying degrees of difficulty. The Building Guide describes how to go about porting to a new platform: http://ghc.haskell.org/trac/ghc/wiki/Building Developers ~~~~~~~~~~ We welcome new contributors. Instructions on accessing our source code repository, and getting started with hacking on GHC, are available from the GHC's developer's site run by Trac: http://ghc.haskell.org/trac/ghc/ Mailing lists ~~~~~~~~~~~~~ We run mailing lists for GHC users and bug reports; to subscribe, use the web interfaces at http://www.haskell.org/mailman/listinfo/glasgow-haskell-users http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see http://www.haskell.org/mailman/listinfo/ Some GHC developers hang out on #haskell on IRC, too: http://www.haskell.org/haskellwiki/IRC_channel Please report bugs using our bug tracking system. Instructions on reporting bugs can be found here: http://www.haskell.org/ghc/reportabug Hashes & Signatures ~~~~~~~~~~~~~~~~~ On https://downloads.haskell.org/~ghc/7.8.4/ you will find a signed copy of the SHA256 hashes for the tarballs, using my GPG key (keyid 0x3B58D86F). -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/

1 0