<div dir="ltr">Hello,<br><br>Please, find below the 1st call for participation for IFL 2018.<br>Please forward these to anyone you think may be interested.<br>Apologies for any duplicates you may receive.<br><br>best regards,<br>Jurriaan Hage<br>Publicity Chair of IFL<br><div><br></div><div>---</div><div><br></div><div><br>CALL FOR PARTICIPATION:<br>================================================================================<br><br>                                    IFL 2018                                    <br>    30th Symposium on Implementation and Application of Functional Languages    <br><br><br>                   University of Massachusetts Lowell, MA, USA<br>                             September 5th-7th, 2018<br>                          <br>                            <a href="http://iflconference.org">http://iflconference.org</a><br><br><br>September 5th: Haskell Mini-Course by Galois, Inc, see details below.<br><br>================================================================================<br><br>### Scope<br><br>The goal of the IFL symposia is to bring together researchers actively engaged<br>in the implementation and application of functional and function-based<br>programming languages. IFL 2018 will be a venue for researchers to present and<br>discuss new ideas and concepts, work in progress, and publication-ripe results<br>related to the implementation and application of functional languages and<br>function-based programming.<br><br>### Keynote Speakers<br><br>* Adam Chlipala, Massachusetts Institute of Technology CSAIL<br>* Arjun Guha, University of Massachusetts Amherst<br><br>### Haskell Mini-Course (September 5th, 2018)<br><br>Mini-course on Haskell by Galois, Inc,<br>presented by David Thrane Christiansen and Jose Manuel Calderon Trilla.<br><br>Register: Attendance at the course is free, but you must RSVP.<br>(Link to RSVP form can be found at <a href="http://iflconference.org">http://iflconference.org</a>)<br><br>Course Description:<br><br>Recent versions of the GHC compiler for Haskell feature support for a number of<br>advanced type system features, including pattern-matching functions in the type<br>system (type families), indexed families (generalized algebraic datatypes, or<br>GADTs), type-level data structures (data kinds), and general compile-time<br>metaprogramming (Template Haskell). At Galois, we use these features in a number<br>of our projects, which allows us to build deep embeddings of programming<br>languages and have GHC enforce the target language's type system for us. This<br>style of programming ensures that we only produce well-typed terms, including<br>that we do not forget any of the run-time checks that are necessary to preserve<br>our invariants when accepting input from untyped sources such as files.<br><br>In the course of developing these projects, some common problems and programming<br>patterns emerged. We developed the `parameterized-utils` library to codify<br>solutions to these problems, and provide necessary generalizations of interfaces<br>from the standard library (Eq, Applicative, Traversable, etc.)<br><br>We will expect that participants in the course have used Haskell before, but we<br>will not expect everyone to be experts. We will introduce GADTs, type families,<br>and data kinds, and then show how to use them together with the tools from<br>parameterized-utils with an implementation of the simply-typed lambda calculus,<br>including basic AST definitions, evaluation, and parsing.<br><br><br>### Peter Landin Prize<br><br>The Peter Landin Prize is awarded to the best paper presented at the<br>symposium every year. The honored article is selected by the program committee<br>based on the submissions received for the formal review process. The prize<br>carries a cash award equivalent to 150 Euros.<br><br><br>### Organization and Program committee<br><br>Chairs: Jay McCarthy & Matteo Cimini, University of Massachusetts Lowell, USA<br><br>Program Committee:<br><br>* Arthur Chargueraud, Inria, FR<br>* Ben Delaware, Purdue University, USA<br>* Christos Dimoulas, Northwestern University, USA<br>* David Darais, University of Vermont, USA<br>* Dominic Orchard, University of Kent, UK<br>* Ekaterina Komendantskaya, Heriot-Watt University, UK<br>* Garrett Morris, University of Kansas, USA<br>* Heather Miller, EPFL & Northeastern University, CH & USA<br>* Jeremy Yallop, University of Cambridge, UK<br>* Keiko Nakata, SAP Innovation Center Potsdam, DE<br>* Laura Castro, University of A Coruna, ESP<br>* Magnus Myreen, Chalmers University of Technology, SWE<br>* Natalia Chechina, Bournemouth University, UK<br>* Peter Achten, Radboud Universiteit Nijmegen, NL<br>* Peter-Michael Osera, Grinnell College, USA<br>* Richard Eisenberg, Bryn Mawr College, USA<br>* Trevor McDonell, University of New South Wales, AUS<br>* Yukiyoshi Kameyama, University of Tsukuba, JAP<br><br>### Venue <br><br>The 30th IFL is organized by the University of Massachusetts Lowell.<br>The City of Lowell is located at the heart of the Merrimack Valley just 30 miles<br>northwest of Boston. Lowell can be easily reached by train or taxi.<br>See the website for more information on the venue.<br><br></div></div>