Re: [stack] Re: Motivations to embrace undecidable type systems

John Nowak <[email protected]> Mon, 6 Apr 2009 08:00:38 -0400

Newsgroups	gmane.comp.lang.concatenative
Message-ID	<[email protected]>

On Apr 5, 2009, at 5:09 AM, hallucious wrote:

> Thanks for the info and for bearing with me.
> I do want to move on to type systems that are useful for compilers.

It seems to me that some of the most interesting work in this field  
(type systems for compilers) is being done by the Church Project (http://www.church-project.org 
). They've already done much work on compositional analysis which may  
be useful to you if you're not already familiar with it.

- John