[TYPES] Limited use of negation types?

[Carl Eastlund]

I believe you want "A formulae-as-type notion of control" by Timothy Griffin.
The ACM portal link is here:

http://portal.acm.org/citation.cfm?id=96709.96714

--Carl

On 12/22/05, Jim Apple <japple+types at freeshell.org> wrote:
> [The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]
>
> I recall seeing somewhere a paper on the limited use of classical logic
> in functional programming, that somehow negation types had an
> interpretation under certain circumstances.
>
> I know I downloaded the paper, but I don't know where I put it. ANy
> pointers?
>
> Jim Apple