From: Uday S Reddy <u.s.reddy@cs.bham.ac.uk>
To: types-list <types-list@lists.seas.upenn.edu>, categories@mlist.mta.ca
Cc: claudio.hermida@gmail.com, Edmund Robinson <edmundr@dcs.qmul.ac.uk>
Subject: Logical relations and parametricity (Reynolds memorial paper)
Date: Tue, 8 Apr 2014 17:19:47 +0100 [thread overview]
Message-ID: <E1WY1ss-000263-Aq@mlist.mta.ca> (raw)
We would like to announce a Reynolds memorial paper that has just been
published in a volume edited by John Power and Cai Wingfield:
Logical Relations and Parametricity –
A Reynolds Programme for Category Theory and Programming Languages
(Dedicated to the memory of John C. Reynolds, 1935–2013)
Abstract
In his seminal paper on “Types, Abstraction and Parametric Polymorphism,”
John Reynolds called for homomorphisms to be generalized from functions to
relations. He reasoned that such a generalization would allow type-based
“abstraction” (representation independence, information hiding, naturality
or parametricity) to be captured in a mathematical theory, while accounting
for higher-order types. However, after 30 years of research, we do not yet
know fully how to do such a generalization. In this article, we explain the
problems in doing so, summarize the work carried out so far, and call for a
renewed attempt at addressing the problem.
Electronic Notes in Theoretical Computer Science
Volume 303, 28 March 2014, Pages 149–180
Proceedings of the Workshop on Algebra, Coalgebra and Topology (WACT 2013)
The ENTCS version may be found here:
http://www.sciencedirect.com/science/article/pii/S1571066114000346
and a preprint here
http://www.cs.bham.ac.uk/~udr/papers/logical-relations-and-parametricity.pdf
---
Part of our intent in writing this article has been to regenerate interest
in the problem of parametricity, which some people perceive as having died
down after sustained efforts in the 90's, and to provide clean definitions
for new entrants to the area. So, if you have wondered what parametricity
is all about, we hope you will find the answers here.
We continue to work on parametricity ourselves and we would be very glad to
hear from other people who would like to get involved. If you have work
that we have missed, please let us know about it as well. (We couldn't cite
all the work we would have liked to cite due to page limitations.)
Claudio Hermida
Uday Reddy
Edmund Robinson
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
reply other threads:[~2014-04-08 16:19 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=E1WY1ss-000263-Aq@mlist.mta.ca \
--to=u.s.reddy@cs.bham.ac.uk \
--cc=categories@mlist.mta.ca \
--cc=claudio.hermida@gmail.com \
--cc=edmundr@dcs.qmul.ac.uk \
--cc=types-list@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).