caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] First Call for Participation for IFL 2018 (Implementation and Application of Functional Languages)
@ 2018-08-14  7:59 Jurriaan Hage
  0 siblings, 0 replies; 1+ messages in thread
From: Jurriaan Hage @ 2018-08-14  7:59 UTC (permalink / raw)
  To: Caml-List

[-- Attachment #1: Type: text/plain, Size: 4888 bytes --]


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



    30th Symposium on Implementation and Application of Functional

                   University of Massachusetts Lowell, MA, USA
                             September 5th-7th, 2018


September 5th: Haskell Mini-Course by Galois, Inc, see details below.


### Scope

The goal of the IFL symposia is to bring together researchers actively
in the implementation and application of functional and function-based
programming languages. IFL 2018 will be a venue for researchers to present
discuss new ideas and concepts, work in progress, and publication-ripe
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

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
system (type families), indexed families (generalized algebraic datatypes,
GADTs), type-level data structures (data kinds), and general compile-time
metaprogramming (Template Haskell). At Galois, we use these features in a
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.
style of programming ensures that we only produce well-typed terms,
that we do not forget any of the run-time checks that are necessary to
our invariants when accepting input from untyped sources such as files.

In the course of developing these projects, some common problems and
patterns emerged. We developed the `parameterized-utils` library to codify
solutions to these problems, and provide necessary generalizations of
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
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
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
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,

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
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:
Beginner's list:
Bug reports:

[-- Attachment #2: Type: text/html, Size: 5417 bytes --]

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-08-14  7:59 [Caml-list] First Call for Participation for IFL 2018 (Implementation and Application of Functional Languages) Jurriaan Hage

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror

AGPL code for this site: git clone public-inbox