Re: in defense of types

[Michael Vanier <address@hidden>]

> Date: Wed, 29 May 2002 23:14:37 -0400 (EDT)
> From: Matthias Felleisen <matthias@ccs.neu.edu>
[snip]
> Otherwise I agree with you that types are just one form of assertion
> and that we should pay attention to more general forms of assertions. 
> 
> Robby Findler and I have a paper at ICFP that talks about general 
> contracts for languages with higher-order functions, and yes, I 
> believe that this kind of research/language extension is necessary 
> to discover useful static classes of assertions. (Hint to Michael: 
> that's an "academic" criticism of type research.)
> 
> -- Matthias
> 

Is this paper published yet?

Mike