[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: in defense of types

> Date: Wed, 29 May 2002 23:14:37 -0400 (EDT)
> From: Matthias Felleisen <matthias@ccs.neu.edu>
> 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?