From mboxrd@z Thu Jan 1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8005
Path: news.gmane.org!not-for-mail
From: Paul B Levy
Newsgroups: gmane.science.mathematics.categories,gmane.comp.science.types.announce
Subject: Call for participation, Mathematically Structured Functional Programming 2014
Date: Fri, 07 Feb 2014 18:50:59 +0000
Message-ID:
Reply-To: Paul B Levy
NNTP-Posting-Host: plane.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: ger.gmane.org 1391954836 22426 80.91.229.3 (9 Feb 2014 14:07:16 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Sun, 9 Feb 2014 14:07:16 +0000 (UTC)
To: categories@mta.ca, types-announce@lists.seas.upenn.edu
Original-X-From: majordomo@mlist.mta.ca Sun Feb 09 15:07:23 2014
Return-path:
Envelope-to: gsmc-categories@m.gmane.org
Original-Received: from smtp3.mta.ca ([138.73.1.186])
by plane.gmane.org with esmtp (Exim 4.69)
(envelope-from )
id 1WCV2Y-0003Aw-2O
for gsmc-categories@m.gmane.org; Sun, 09 Feb 2014 15:07:22 +0100
Original-Received: from mlist.mta.ca ([138.73.1.63]:41735)
by smtp3.mta.ca with esmtp (Exim 4.80)
(envelope-from )
id 1WCV1v-0007PW-Ak; Sun, 09 Feb 2014 10:06:43 -0400
Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71)
(envelope-from )
id 1WCV1t-0002wP-Aw
for categories-list@mlist.mta.ca; Sun, 09 Feb 2014 10:06:41 -0400
Precedence: bulk
Xref: news.gmane.org gmane.science.mathematics.categories:8005 gmane.comp.science.types.announce:4224
Archived-At:
Dear all,
The fifth workshop on Mathematically Structured Functional Programming
http://www.cs.bham.ac.uk/~pbl/msfp2014/
takes place on Saturday 12 April in Grenoble,France, as part of ETAPS.
Please register through ETAPS:
http://www.etaps.org/2014/
The early registration rate ends on Friday 14 February.
INVITED SPEAKERS
Bob Atkey. Applications of Relational Parametricity beyond Type Abstraction
Shin-ya Katsumata, Kyoto University. Logical Relations for Monads by
Categorical TT-Lifting
ACCEPTED PAPERS
Monad transformers for backtracking search (Jules Hedges)
Free Applicative Functors (Paolo Capriotti and Ambrus Kaposi)
Categorical Semantics for Functional Reactive Programming with Temporal
Recursion and Corecursion (Wolfgang Jeltsch)
Foundations of Total Functional Data-Flow Programming (Baltasar Tranc?n
Y Widemann and Markus Lepper)
Coherence for skew-monoidal categories (Tarmo Uustalu)
Polymonadic Programming (Michael Hicks, Gavin Bierman, Nataliya Guts,
Daan Leijen and Nikhil Swamy)
Normalization by Evaluation in the Delay Monad (Andreas Abel and James
Chapman)
Koka: Programming with Row-polymorphic Effect Types (Daan Leijen)
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
The fifth workshop on Mathematically Structured Functional Programming
is devoted to the derivation of functionality from structure. It is a
celebration of the direct impact of Theoretical Computer Science on
programs as we write them today. Modern programming languages, and in
particular functional languages, support the direct expression of
mathematical structures, equipping programmers with tools of remarkable
power and abstraction. Where would Haskell be without monads? Functional
reactive programming without arrows? Call-by-push-value without
adjunctions? The list goes on. This workshop is a forum for researchers
who seek to reflect mathematical phenomena in data and control.
Best regards,
Neelakantan Krishnaswami and Paul Blain Levy
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]