[TYPES] "Constraints as types" paradigm

Fergus Henderson fjh at cs.mu.oz.au
Mon Apr 19 16:02:08 EDT 2004


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.


More information about the Types-list mailing list