The Paradox of Partial Parametricity
Tab Atkins Jr.
jackalmage at gmail.com
Fri May 10 14:28:10 PDT 2013
On Fri, May 10, 2013 at 2:18 PM, Mark S. Miller <erights at google.com> 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