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

Re: Generalizing Types as Provable Invariants

To: address@hidden
Subject: Re: Generalizing Types as Provable Invariants
From: Shriram Krishnamurthi <address@hidden>
Date: Sat, 1 Jun 2002 17:04:03 -0400 (EDT)
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

Pixel wrote:

> > > - dependent types (cf recent thread on comp.lang.functional)
> 
> i meant to add that C++ has a form of dependent types

Care to elaborate?

Shriram

Follow-Ups:
- Re: 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: [OT] Generalizing Types as Provable Invariants
Next by thread: Re: Generalizing Types as Provable Invariants
Index(es):
- Date
- Thread