From: Paul B Levy <P.B.Levy@cs.bham.ac.uk>
To: categories@mta.ca, types-announce@lists.seas.upenn.edu
Subject: Call for participation, Mathematically Structured Functional Programming 2014
Date: Fri, 07 Feb 2014 18:50:59 +0000 [thread overview]
Message-ID: <E1WCV1t-0002wP-Aw@mlist.mta.ca> (raw)
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/ ]
reply other threads:[~2014-02-07 18:50 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1WCV1t-0002wP-Aw@mlist.mta.ca \
--to=p.b.levy@cs.bham.ac.uk \
--cc=categories@mta.ca \
--cc=types-announce@lists.seas.upenn.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).