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

Re: Generalizing Types as Provable Invariants

To: Pixel <address@hidden>
Subject: Re: Generalizing Types as Provable Invariants
From: Matthias Felleisen <address@hidden>
Date: Fri, 31 May 2002 20:18:36 -0400 (EDT)
Cc: address@hidden
In-reply-to: <lyofevvos5.fsf@leia.mandrakesoft.com>
References: <p05111702b91da210a0b0@[10.169.104.13]><lyvg93vrec.fsf@leia.mandrakesoft.com><20020531234351.560C2206F6@sualocin.ccs.neu.edu> <lyofevvos5.fsf@leia.mandrakesoft.com>
Sender: address@hidden


A type system for an unsafe language is insidious. -- Matthias

Follow-Ups:
- Re: [OT] Generalizing Types as Provable Invariants
  - From: Pixel <pixel@mandrakesoft.com>

References:
- Generalizing Types as Provable Invariants
  - From: Waldemar Horwat <waldemar@acm.org>
- Re: Generalizing Types as Provable Invariants
  - From: Pixel <pixel@mandrakesoft.com>
- Re: Generalizing Types as Provable Invariants
  - From: Matthias Felleisen <matthias@ccs.neu.edu>
- Re: Generalizing Types as Provable Invariants
  - From: Pixel <pixel@mandrakesoft.com>

Prev by Date: RE: succinctness = power
Next by Date: Re: Generalizing Types as Provable Invariants
Previous by thread: Re: Generalizing Types as Provable Invariants
Next by thread: Re: [OT] Generalizing Types as Provable Invariants
Index(es):
- Date
- Thread