[TYPES] Limited use of negation types?

Carl Eastlund cce at ccs.neu.edu
Fri Dec 23 01:44:24 EST 2005

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



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

More information about the Types-list mailing list