| 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. |
|
![[logo]](/logo.png){kind=logo}