[TYPES] "Constraints as types" paradigm

[Fergus Henderson]

On 22-Mar-2004, Jacques Carette <carette at mcmaster.ca> wrote:
> I have heard some informal references to a "constraints as types" paradigm. 
> I have however not been able to find a lot of concrete references.

Lee Naish's papers "Types and the intended meaning of logic programs" (1992)
and "Approximating the success set of logic programs using constrained
regular types" (2002) may be relevant in this context.

-- 
Fergus Henderson                    |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.