[plt-scheme] Typed Scheme and Contracts

From: hendrik at topoi.pooq.com (hendrik at topoi.pooq.com)
Date: Sun Mar 22 16:56:58 EDT 2009

On Sun, Mar 22, 2009 at 02:03:13PM +0000, Paulo J. Matos wrote:
> Using typed-scheme for types and contracts for run-time properties
> seem like very powerful combination.

Espacially if contract information is propagates like types.....  That's 
one of the basic mechanisms for formal varification.

- hendrik

Posted on the users mailing list.