- Haskell - Haskell.org

Final Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: October 23!)~
by Dimitrios Vytiniotis 19 Oct '15

19 Oct '15

(apologies for multiple copies) FINAL CALL FOR SCHOLARSHIP APPLICATIONS (Deadline this Friday: October 23!) ACM SIGPLAN Programming Languages Mentoring Workshop, St. Petersburg, Florida, USA Tuesday, January 19, 2016 Co-located with POPL 2016 PLMW web page: http://conf.researchr.org/home/PLMW-2016 After the resounding success of the first four Programming Languages Mentoring Workshops at POPL 2012, 2013, 2014, and 2015, we proudly announce the 5th SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2016 and organised by Isil Dillig, Derek Dreyer, Ross Tate, and Dimitrios Vytiniotis. The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they might contribute to our research community. We especially encourage women and underrepresented minority students to attend PLMW. This workshop is part of the activities surrounding POPL, the Symposium on Principles of Programming Languages, and takes place the day before the main conference. One goal of the workshop is to make the POPL conference more accessible to newcomers. We hope that participants will stay through the entire conference. A number of sponsors (listed below) have generously donated scholarship funds for qualified students to attend PLMW. These scholarships should cover reasonable expenses (airfare, hotel, and registration fees) for attendance at both the workshop and the POPL conference. Students attending this year will get one year free student membership of SIGPLAN, unless they prefer to opt out during their application. The workshop registration is open to all. Students with alternative sources of funding are welcome as well. APPLICATION for PLMW scholarship. The scholarship application can be accessed from the workshop web site: http://conf.researchr.org/home/PLMW-2016 The deadline for full consideration of funding is FRIDAY, OCTOBER 23. Selected participants will be notified by NOVEMBER 15 or earlier. SPONSORS: NSF ACM SIGPLAN Facebook Jane Street Capital Google Microsoft

1 0

[NL-FP 2016] Announcement: Dutch Functional Programming Day 2016
by Atze Dijkstra 19 Oct '15

19 Oct '15

[My apologies for multiple received copies of the same message] Dear all, The next Dutch Functional Programming day (NL-FP 2016) will be held on Friday, January 8, 2016 at the Utrecht University, The Netherlands. You are invited to participate and to give a presentation. At the end of the day we will have a joint dinner. On the web page http://foswiki.cs.uu.nl/foswiki/NlFpDay2016/WebHome <http://foswiki.cs.uu.nl/foswiki/NlFpDay2016/WebHome> for the day you’ll find preliminary information which will be further filled in due time. Registration is by letting me know via email (with a subject header that begins with [NL-FP 2016]) whether you want to (1) participate, (2) join dinner, (3) give a presentation (please include title + abstract), also see the webpage for additional details. If you intend to participate, please let me know as soon as possible because we like to know how many people we can expect. Hope to meet you all in Utrecht at the next FP Day! Best regards, - Atze - Atze Dijkstra, Department of Information and Computing Sciences. /|\ Utrecht University, PO Box 80089, 3508 TB Utrecht, Netherlands. / | \ Tel.: +31-30-2534118/1454 | WWW : http://www.cs.uu.nl/~atze . /--| \ Fax : +31-30-2513971 .... | Email: atze(a)uu.nl ............... / |___\

1 0

Final Call for Haskell Prime language committee Nominations!
by Herbert Valerio Riedel 11 Oct '15

11 Oct '15

The submission deadline (Wed, Oct 14 23:59:59 UTC 2015) for Haskell Prime self-nominations (see also original CfN at [1]) is near! If you have already submitted a self-nomination, please make sure (if it was sent to the haskell-prime list) that it shows up in the mailing list archives at - https://mail.haskell.org/pipermail/haskell-prime/2015-September/ or - https://mail.haskell.org/pipermail/haskell-prime/2015-October/ or (if you have only sent it to me directly) that I acknowledged receiving your submission by an email reply. Regards, Herbert Valerio Riedel [1]: https://mail.haskell.org/pipermail/haskell-prime/2015-September/003936.html

1 0

ANNOUNCE: unordered-graphs
by Ivan Lazar Miljenovic 10 Oct '15

10 Oct '15

I have a relatively hacked-together graph library that uses unordered-containers as a backend available if anyone finds it interesting/useful: http://hackage.haskell.org/package/unordered-graphs It's primarily developed just for my own needs and thus I'm not sure how much future work I'll be doing on it, but I'm willing to accept pull requests. This library was semi-experimental in that I also tried a few things out with it: * Polymorphic node type * Fixed auto-generated edge type: this is because (node,node, label) triples (ala fgl) do not provide sufficient information to be able to distinguish between multiple edges, etc. * Type parameter to determine whether the graph is directed or undirected. * Typeclass to allow you to determine the type/output of a a match (I didn't end up actually using this, as the one time I needed to do a match I found the extra polymorphism caused problems; it also isn't comprehensive as I didn't write all that many instances.) -- Ivan Lazar Miljenovic Ivan.Miljenovic(a)gmail.com http://IvanMiljenovic.wordpress.com

1 0

CfP: Haskell in Leipzig (Germany), 4/5 December 2015
by Johannes Waldmann 09 Oct '15

09 Oct '15

"Haskell in Leipzig" (Germany) workshop http://nfa.imn.htwk-leipzig.de/HAL2015/ welcomes Your contribution. Now. Wir rechnen mit Vorträgen und Tutorien und freuen uns über weitere Vorschläge (Musik/live coding, mini-hackathon, Rätsel, ..) * bis 2. November: Einreichung von Beiträgen * 5. November: Bekanntgabe des Programms * bis 27. November: Anmeldung * 4. und 5. Dezember: Workshop Herzliche Grüße, Johannes Waldmann, Leipzig.

1 0

[APLS2015] Call for Participation: Workshop on Advances in Programming Languages and Systems
by Luminous Fennell 09 Oct '15

09 Oct '15

=== Call for Participation === Workshop: Advances in Programming Languages and Systems Date: December 15 - 16, 2015 Venue: Frankfurt, Germany Website: http://proglang.informatik.uni-freiburg.de/APLS2015/ Scope: ------ Advances in programming language research increasingly influence the world of software development and big software companies recognize the importance of research areas like functional programming, static program analysis, run-time verification, automated software engineering and debugging as well as automated verification techniques. This workshop is an opportunity to interact with leading international researchers in these areas, to receive crucial impulses, and to cultivate and maintain new and old collaborations and liaisons. The talks will be given by prominent members of the programming languages research community and cover a wide area of topics inside this field. The list of talks can be found below. For further information please visit http://proglang.informatik.uni-freiburg.de/APLS2015/ The workshop is sponsored by the DFG. List of talks: -------------- Andreas Abel: Coinductive programming with copatterns Arthur Chargueraud: Machine-checked verification of amortized complexity analyses Dominique Devriese: Reasoning about Object Capabilities with Logical Relations and Effect Parametricity Sophia Drossopoulou: Reasoning about programs in the presence of code of unknown provenance Joshua Dunfield: Evaluation-order Polymorphism Matthew Fluet: Type- and Control-Flow Analysis Christian Hammer: Declassification in the Browser Atsushi Igarashi: A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers Ranjit Jhala: Bounded Refinement Types Ivan Lanese: Reversible Concurrent Systems Anders Moeller: Message Safety in Dart Keiko Nakata: Formal Verification of a Microkernel at FireEye James Noble: On Grace Klaus Ostermann: Automatic Refunctionalization Matthew Parkinson: The Push/Pull Model of Transactions Didier Remy: Ornaments in ML Francesco Ranzato: Abstract Interpretation of Supermodular Games Ilya Sergey: Verification of Fine-Grained Concurrent Programs Jeremy Siek: A Tracing JIT for a Functional Language Wouter Swierstra: Auto in Agda Peter Thiemann: Derivatives in Program Analysis Vasco Vasconcelos: Advances in Session Types Organizers: ----------- Luminous Fennell, University of Freiburg Peter Thiemann, University of Freiburg

1 0

Learning Haskell — a new tutorial
by Manuel M T Chakravarty 09 Oct '15

09 Oct '15

For those getting started with Haskell, you might like to have a look at our new Haskell tutorial ”Learning Haskell”: http://learn.hfm.io/ It features a mix of text and screencasts and will be extended over time. There is a bit on the background at http://blog.haskellformac.com/blog/learning-haskell Enjoy! Manuel

1 0

ANN: wxInstall Abriline and wxHaskell 0.92.1.0
by Henk-Jan van Tuyl 08 Oct '15

08 Oct '15

L.S., I am happy to announce the installation packages for wxHaskell on Windows, and a new version of wxHaskell: 0.92.1.0 So far, the installation of wxHaskell on Windows has been difficult, but now it is just a matter of downloading an installation package[0][1], unzipping it to the directory where you want to have it installed, and clicking on Install.bat. A detailed description can be found at the wxHaskell-for-Windows homepage[2]. The current configuration of the installation packages (one package for 32 bit and one for 64 bit systems), is called Abriline and contains compiled wxWidgets 3.0.2 and all further necessary DLLs. The installation procedure automatically installs the latest version of wxHaskell and can be used for several of the most recent versions of GHC. In case you are wondering where the name Abriline comes from, it is generated by a girls name generator I wrote (in Haskell of course); I selected this name because a search on Internet seems to indicate that the name is brand new. The new version of wxHaskell is released because it solves a bug that could crash an application. What is wxHaskell? ------------------ wxHaskell[3] is a portable and native GUI library for Haskell. The goal of the project is to provide an industrial strength GUI library for Haskell, but without the burden of developing (and maintaining) one ourselves. wxHaskell is therefore built on top of wxWidgets – a comprehensive C++ library that is portable across all major GUI platforms; including GTK, Windows, X11, and MacOS X. Furthermore, it is a mature library (in development since 1992) that supports a wide range of widgets with the native look-and-feel. Links ----- See the homepage of wxHaskell for more information: https://wiki.haskell.org/WxHaskell The packages are: - wxc https://hackage.haskell.org/package/wxc - wxdirect https://hackage.haskell.org/package/wxdirect - wxcore https://hackage.haskell.org/package/wxcore - wx https://hackage.haskell.org/package/wx Regards, Henk-Jan van Tuyl [0] http://sourceforge.net/projects/wxhaskell/files/wxInstall/wxInstall-Abrilin… [1] http://sourceforge.net/projects/wxhaskell/files/wxInstall/wxInstall-Abrilin… [2] https://wiki.haskell.org/WxHaskell/Windows#Installing_the_easy_way [3] https://wiki.haskell.org/WxHaskell -- Folding@home What if you could share your unused computer power to help find a cure? In just 5 minutes you can join the world's biggest networked computer and get us closer sooner. Watch the video. http://folding.stanford.edu/ http://Van.Tuyl.eu/ http://members.chello.nl/hjgtuyl/tourdemonad.html Haskell programming --

1 0

Journal of Functional Programming - Call for PhD Abstracts
by Graham Hutton 06 Oct '15

06 Oct '15

If you or one of your students recently completed a PhD in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, deadline 31st October 2015. Many thanks, Graham Hutton ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 31st October 2015 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall. They do not require any transfer of copyright, merely a license from the author. A dissertation is eligible for inclusion if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. The abstracts are not reviewed. Please submit dissertation abstracts according to the instructions below. We welcome submissions from both the PhD student and PhD advisor/supervisor although we encourage them to coordinate. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton <graham.hutton(a)nottingham.ac.uk> by 31st October 2015. o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of PhD award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 1000 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting in the abstract, but do get in touch if this causes significant problems) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.

1 0

CFP: Special issue of JFP on dependently typed programming
by Wouter Swierstra 05 Oct '15

05 Oct '15

----------------------------------------------------------------------------- CALL FOR PAPERS JFP Special Issue on Dependently typed Programming Submission Deadline: January 11th, 2016 Expected Publication Date: Late 2016 ----------------------------------------------------------------------------- # Scope Over the last years there has been sustained interest in functional programming languages with dependent types. The foundations of dependently typed programming can be traced back to work by Martin-Löf from the 1970s. More recently, the increased popularity of systems such as Agda, Coq, Idris, and many others, reflects the growing momentum in this research area. The Journal of Functional Programming will devote a special issue to programming with dependent types. The purpose of this special issue is to present the state of the art in dependently typed programming languages and their applications. We would like to invite authors to submit papers on all topics relating to programming languages with dependent types, including theory, applications, and language design and implementation. We encourage the submission of consolidated, condensed and extended work based on prior conference and workshop publications. # Submission Details Manuscripts should be submitted in PDF format through the Journal of Functional Programming's website: https://mc.manuscriptcentral.com/cup/jfp_submit Further submission and formatting details can be found on the JFP website. Please submit your paper under the 'DTP Special issue' category. Guest Editors --------------------------------------------------------------------------------- Peter Dybjer peterd(a)chalmers.se Chalmers University of Technology Sweden Wouter Swierstra w.s.swierstra(a)uu.nl Universiteit Utrecht The Netherlands ---------------------------------------------------------------------------------

1 0