From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 50C7C5D4 for ; Tue, 14 Aug 2018 07:59:07 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.53,237,1531778400"; d="scan'208,217";a="342406444" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Aug 2018 09:59:03 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id DEB4A824C8; Tue, 14 Aug 2018 09:59:03 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 9D26B81792 for ; Tue, 14 Aug 2018 09:58:57 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=publicityifl@gmail.com; spf=Pass smtp.mailfrom=publicityifl@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f45.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A4ydLrhHUg2cMyFl3E2o7qJ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ78ocuwAkXT6L1XgUPTWs2DsrQY07SQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmDuwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KODEi8G/XhMJ+j79Vrgy9qBFk2YHYfJuYOeBicq/Bf94XQ3dKUMZLVyxGB4Ox?= =?us-ascii?q?d48BD/cbPeZCronyvUEBrR2jDgeuHuzvxSFHjWLx0K0izuQuCgXG3A08ENIPrH?= =?us-ascii?q?TVrNT1NKkWUe2uw6nIyC/Mb/JS2Tvn9IfIdRUhrOiKULltf8TRzkwvGBnEjlWW?= =?us-ascii?q?sYHlPj2V1uARvGic6epgW/ygi3Q5pAF3vjeg2N0gio7ThoIazF3P6CZ3wJ4tKN?= =?us-ascii?q?C6R0N3e8OoHIVQui2ANIZ6XNkuTm5otSs817YIo4S0fDIQx5Qi3xPfa+KIc4yP?= =?us-ascii?q?4h/7UeaeOzZ4hHZ8dLOxgha+7VGsyuPzW8S0ylpKoS1Fkt7DtnAJyRPf8NSISv?= =?us-ascii?q?x4/ku52DaP0R7c6v1cLE02mqfXMYMtzqAwm5YJsknPADX6lUr2gaOOc0Ur4Omo?= =?us-ascii?q?6+DpYrX8oZ+cMpd5ihnjMqs1nsy/APg3MgkSX2mb+OS82rnj8Fb2QLVPlPI2k6?= =?us-ascii?q?3ZvIrGKsQco661GxVV3Zo76xajEzem18wVkmUdI1JAfBKLlozpO1DVIPDkFvq/?= =?us-ascii?q?mFStkDJzx//cJLHhA5PNLmLCkLj7Z7p95VRcm0IPyoV07pdQT5UAO+67DkT4sd?= =?us-ascii?q?idCh4iLyS1xfzmAZNzzNVNd3iIB/q7LbnIsFaB4KoPKuaBLNsNpTz5KvMk++/v?= =?us-ascii?q?g3sRlloUfK3v1pwSPiPrVs96KlmUNCK/yuwKFn0H61JnHb7azWaaWDsWXE6cGq?= =?us-ascii?q?c15zU1EoWjVN6RSYWkgbjH1yC+TMQPOjJ2T2uUGHKtTL2qHu8WYXvLcMBkmz0A?= =?us-ascii?q?E7OmTt15jEz8hErB07Nia9Hs1GgYuJbkjoUn4uTSkVQt8GQxAZjAlW6KSG5wky?= =?us-ascii?q?UDQDpkhK0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0APBwCHinJbhi1SfUpchCQBPn8og22BH?= =?us-ascii?q?YJUkFVQAQEGgi2CCIVZbIcfhSmBegsfiCMZBwEEMBgBAgEBAgEBAQEBEwEBAQg?= =?us-ascii?q?LCwgbDiMMgjUigwQGHQEbCwQPAw0FAw03AiQBEQEFASIugwcBgWgBAwgNkXiMZ?= =?us-ascii?q?oMePIsLgREFAReCdgWDaAoZJg1XgkICBhKJAhd5gQeBEoJdB4Fvhj6CVQKICAO?= =?us-ascii?q?SWwmGJIk0c1tIg2OIQ4wPhnsPIYEgggozGiOBAYI4CWqBPgIagzSFFIVaIzCNW?= =?us-ascii?q?QEB?= X-IPAS-Result: =?us-ascii?q?A0APBwCHinJbhi1SfUpchCQBPn8og22BHYJUkFVQAQEGgi2?= =?us-ascii?q?CCIVZbIcfhSmBegsfiCMZBwEEMBgBAgEBAgEBAQEBEwEBAQgLCwgbDiMMgjUig?= =?us-ascii?q?wQGHQEbCwQPAw0FAw03AiQBEQEFASIugwcBgWgBAwgNkXiMZoMePIsLgREFARe?= =?us-ascii?q?CdgWDaAoZJg1XgkICBhKJAhd5gQeBEoJdB4Fvhj6CVQKICAOSWwmGJIk0c1tIg?= =?us-ascii?q?2OIQ4wPhnsPIYEgggozGiOBAYI4CWqBPgIagzSFFIVaIzCNWQEB?= X-IronPort-AV: E=Sophos;i="5.53,237,1531778400"; d="scan'208,217";a="342406385" Received: from mail-wm0-f45.google.com ([74.125.82.45]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Aug 2018 09:58:56 +0200 Received: by mail-wm0-f45.google.com with SMTP id w24-v6so11217888wmc.1 for ; Tue, 14 Aug 2018 00:58:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:sender:from:date:message-id:subject:to; bh=0HZ4D0i4MB+yTxd8cV9n5TEvPxc51Nn1xlagwj+7x20=; b=EjPAgXX0ZCQKWnV7X3sa37o0J23iYvGwXjl09L0cwh3yYbSl0C14tI3JNefq0KlqdT z96VLQTC9rWKZkptQMPH2GkAjHOJnDUpBLVzlBl2JOlbFgOHGOoXPrU1BvQiS1XRlz9m TWZrLl/Xqmh5Q31UeNfF+ZSUf5XPloBeB2qSsyw3WJQUw6dyHkcHsGxwJg9+w79n6uIV 7N3cyEG6UouGjKi/ND4GI8q1uvyyRaxDC914KyGEo2jG3UOfpNhLTwRoTswIGc0RvXa5 nhAiWp4wuje7sDRAV56KyV+H7KdsaEuosvLS0ssGrHIVvqB6/f6USEw86Mm1f/rnr7Cd kiKQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:sender:from:date:message-id:subject :to; bh=0HZ4D0i4MB+yTxd8cV9n5TEvPxc51Nn1xlagwj+7x20=; b=Mt163jaeU34abMASWiIZ1dSuYtK1wdmAC+AAfQCPy4b2WfbXNl6GK/KXDf68ny0xPF ivwsstFykQau16LdbiRHzB0jk+TvuTSmKu3F5yssv46JN6sQcrkh5KMKKOiznl47Tzmk ui/WIrxiJQHAywytu3I1LiOM+iAprQGvOE5OsXRsSOD7pRhGL61XIgnkl4cUgON78iUR RI0O7oWgWHJXcLPBlMQr1qR/MnWtdNNYWI8/KY/mvF+Mo+7K321MPOJfOYNTKyyszQ72 A+bnIly/Wl1Kovq/QfIRHsgEGS5dGamkrVT4aV4VPZDRZ+CAwUv50UfWz+Fr9IVv8SlV 32/g== X-Gm-Message-State: AOUpUlEm4zhb+UHt5OQdmgQoEdqpXjp9A81hiJ6oWhWRdc6M+0H2+L/D gJT/2qOa0Y/4mP9JMXDFbLN1LC3xegmalXf6pLciLQ== X-Google-Smtp-Source: AA+uWPwnnnKs9PwzAvJzFpqPsGn0UbBg8ux60X7tZjDpQ/RpXowpPRqnsTjQsGbrq1wk+2fDwWbwFLvpxvUXw97qkHM= X-Received: by 2002:a1c:984d:: with SMTP id a74-v6mr2740369wme.73.1534233536180; Tue, 14 Aug 2018 00:58:56 -0700 (PDT) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Tue, 14 Aug 2018 03:58:55 -0400 MIME-Version: 1.0 Sender: Jurriaan Hage From: Jurriaan Hage Date: Tue, 14 Aug 2018 03:58:55 -0400 X-Google-Sender-Auth: Kz3Qk689n5QNZkGBMQI-jfvJNWk Message-ID: To: Caml-List Content-Type: multipart/alternative; boundary="000000000000ed397905736094c2" Subject: [Caml-list] First Call for Participation for IFL 2018 (Implementation and Application of Functional Languages) Reply-To: Jurriaan Hage X-Loop: caml-list@inria.fr X-Sequence: 17025 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --000000000000ed397905736094c2 Content-Type: text/plain; charset="UTF-8" Hello, Please, find below the 1st call for participation for IFL 2018. 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 PARTICIPATION: ================================================================================ IFL 2018 30th Symposium on Implementation and Application of Functional Languages University of Massachusetts Lowell, MA, USA September 5th-7th, 2018 http://iflconference.org September 5th: Haskell Mini-Course by Galois, Inc, see details below. ================================================================================ ### 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 2018 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. ### Keynote Speakers * Adam Chlipala, Massachusetts Institute of Technology CSAIL * Arjun Guha, University of Massachusetts Amherst ### Haskell Mini-Course (September 5th, 2018) Mini-course on Haskell by Galois, Inc, presented by David Thrane Christiansen and Jose Manuel Calderon Trilla. Register: Attendance at the course is free, but you must RSVP. (Link to RSVP form can be found at http://iflconference.org) Course Description: Recent versions of the GHC compiler for Haskell feature support for a number of advanced type system features, including pattern-matching functions in the type system (type families), indexed families (generalized algebraic datatypes, or GADTs), type-level data structures (data kinds), and general compile-time metaprogramming (Template Haskell). At Galois, we use these features in a number of our projects, which allows us to build deep embeddings of programming languages and have GHC enforce the target language's type system for us. This style of programming ensures that we only produce well-typed terms, including that we do not forget any of the run-time checks that are necessary to preserve our invariants when accepting input from untyped sources such as files. In the course of developing these projects, some common problems and programming patterns emerged. We developed the `parameterized-utils` library to codify solutions to these problems, and provide necessary generalizations of interfaces from the standard library (Eq, Applicative, Traversable, etc.) We will expect that participants in the course have used Haskell before, but we will not expect everyone to be experts. We will introduce GADTs, type families, and data kinds, and then show how to use them together with the tools from parameterized-utils with an implementation of the simply-typed lambda calculus, including basic AST definitions, evaluation, and parsing. ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored 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. ### Organization and Program committee Chairs: Jay McCarthy & Matteo Cimini, University of Massachusetts Lowell, USA Program Committee: * Arthur Chargueraud, Inria, FR * Ben Delaware, Purdue University, USA * Christos Dimoulas, Northwestern University, USA * David Darais, University of Vermont, USA * Dominic Orchard, University of Kent, UK * Ekaterina Komendantskaya, Heriot-Watt University, UK * Garrett Morris, University of Kansas, USA * Heather Miller, EPFL & Northeastern University, CH & USA * Jeremy Yallop, University of Cambridge, UK * Keiko Nakata, SAP Innovation Center Potsdam, DE * Laura Castro, University of A Coruna, ESP * Magnus Myreen, Chalmers University of Technology, SWE * Natalia Chechina, Bournemouth University, UK * Peter Achten, Radboud Universiteit Nijmegen, NL * Peter-Michael Osera, Grinnell College, USA * Richard Eisenberg, Bryn Mawr College, USA * Trevor McDonell, University of New South Wales, AUS * Yukiyoshi Kameyama, University of Tsukuba, JAP ### Venue The 30th IFL is organized by the University of Massachusetts Lowell. The City of Lowell is located at the heart of the Merrimack Valley just 30 miles northwest of Boston. Lowell can be easily reached by train or taxi. See the website for more information on the venue. -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs --000000000000ed397905736094c2 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello,

Please, find below the 1st call for particip= ation for IFL 2018.
Please forward these to anyone you think may be inte= rested.
Apologies for any duplicates you may receive.

best regard= s,
Jurriaan Hage
Publicity Chair of IFL

---


CALL FOR PARTICIPATION:
=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 IFL 2018=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0
=C2=A0=C2=A0= =C2=A0 30th Symposium on Implementation and Application of Functional Langu= ages=C2=A0=C2=A0=C2=A0


=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Unive= rsity of Massachusetts Lowell, MA, USA
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 September 5th-= 7th, 2018
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 http= ://iflconference.org


September 5th: Haskell Mini-Course by G= alois, Inc, see details below.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

### 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 2018 will be a venue for researchers t= o present and
discuss new ideas and concepts, work in progress, and publ= ication-ripe results
related to the implementation and application of fu= nctional languages and
function-based programming.

### Keynote Sp= eakers

* Adam Chlipala, Massachusetts Institute of Technology CSAIL<= br>* Arjun Guha, University of Massachusetts Amherst

### Haskell Min= i-Course (September 5th, 2018)

Mini-course on Haskell by Galois, Inc= ,
presented by David Thrane Christiansen and Jose Manuel Calderon Trilla= .

Register: Attendance at the course is free, but you must RSVP.
= (Link to RSVP form can be found at htt= p://iflconference.org)

Course Description:

Recent version= s of the GHC compiler for Haskell feature support for a number of
advanc= ed type system features, including pattern-matching functions in the typesystem (type families), indexed families (generalized algebraic datatypes= , or
GADTs), type-level data structures (data kinds), and general compil= e-time
metaprogramming (Template Haskell). At Galois, we use these featu= res in a number
of our projects, which allows us to build deep embedding= s of programming
languages and have GHC enforce the target language'= s type system for us. This
style of programming ensures that we only pro= duce well-typed terms, including
that we do not forget any of the run-ti= me checks that are necessary to preserve
our invariants when accepting i= nput from untyped sources such as files.

In the course of developing= these projects, some common problems and programming
patterns emerged. = We developed the `parameterized-utils` library to codify
solutions to th= ese problems, and provide necessary generalizations of interfaces
from t= he standard library (Eq, Applicative, Traversable, etc.)

We will exp= ect that participants in the course have used Haskell before, but we
wil= l not expect everyone to be experts. We will introduce GADTs, type families= ,
and data kinds, and then show how to use them together with the tools = from
parameterized-utils with an implementation of the simply-typed lamb= da calculus,
including basic AST definitions, evaluation, and parsing.

### Peter Landin Prize

The Peter Landin Prize is awarded t= o the best paper presented at the
symposium every year. The honored arti= cle is selected by the program committee
based on the submissions receiv= ed for the formal review process. The prize
carries a cash award equival= ent to 150 Euros.


### Organization and Program committee

= Chairs: Jay McCarthy & Matteo Cimini, University of Massachusetts Lowel= l, USA

Program Committee:

* Arthur Chargueraud, Inria, FR
= * Ben Delaware, Purdue University, USA
* Christos Dimoulas, Northwestern= University, USA
* David Darais, University of Vermont, USA
* Dominic= Orchard, University of Kent, UK
* Ekaterina Komendantskaya, Heriot-Watt= University, UK
* Garrett Morris, University of Kansas, USA
* Heather= Miller, EPFL & Northeastern University, CH & USA
* Jeremy Yallo= p, University of Cambridge, UK
* Keiko Nakata, SAP Innovation Center Pot= sdam, DE
* Laura Castro, University of A Coruna, ESP
* Magnus Myreen,= Chalmers University of Technology, SWE
* Natalia Chechina, Bournemouth = University, UK
* Peter Achten, Radboud Universiteit Nijmegen, NL
* Pe= ter-Michael Osera, Grinnell College, USA
* Richard Eisenberg, Bryn Mawr = College, USA
* Trevor McDonell, University of New South Wales, AUS
* = Yukiyoshi Kameyama, University of Tsukuba, JAP

### Venue

The= 30th IFL is organized by the University of Massachusetts Lowell.
The Ci= ty 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.
S= ee the website for more information on the venue.

--000000000000ed397905736094c2--