* Call for participation, Mathematically Structured Functional Programming 2014
@ 2014-02-07 18:50 Paul B Levy
0 siblings, 0 replies; only message in thread
From: Paul B Levy @ 2014-02-07 18:50 UTC (permalink / raw)
To: categories, types-announce
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/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2014-02-07 18:50 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-02-07 18:50 Call for participation, Mathematically Structured Functional Programming 2014 Paul B Levy
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).