The Paradox of Partial Parametricity

Tab Atkins Jr. jackalmage at
Fri May 10 14:28:10 PDT 2013

On Fri, May 10, 2013 at 2:18 PM, Mark S. Miller <erights at> wrote:
> Hi Tab, these are the three architectures I am trying to compare in order to
> make a point. Since you don't like the labels I've chosen for them, please
> suggest alternatives that should be clear and acceptable to all so that we
> can resume the conversation. Thanks.

Nobody is suggesting or wants a "pure" monadic option, so it's
unimportant what you call it.


More information about the es-discuss mailing list