comp.lang.ada
 help / color / mirror / Atom feed
From: Florian Weimer <fw@deneb.enyo.de>
Subject: Re: Extended modal types
Date: Mon, 27 May 2002 07:52:20 +0200
Date: 2002-05-27T05:52:20+00:00	[thread overview]
Message-ID: <87elfyb0iz.fsf@deneb.enyo.de> (raw)
In-Reply-To: 3CF1BE0C.8020704@attbi.com

"Robert I. Eachus" <rieachus@attbi.com> writes:

> The other is in the area of cryptography and hashing, where the
> modulus tends to be a prime, or the product of two primes.

The modulus has to be static, that's why modular types aren't
extremely useful even in this context.



  reply	other threads:[~2002-05-27  5:52 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-05-24  8:53 Extended modal types Anatoly Chernyshev
2002-05-24 11:38 ` Marc A. Criley
2002-05-25 15:57 ` Robert Dewar
2002-05-25 18:06   ` Frank J. Lhota
2002-05-25 18:40     ` Florian Weimer
2002-05-25 21:56       ` David C. Hoos, Sr.
2002-05-27  4:57       ` Robert I. Eachus
2002-05-27  5:52         ` Florian Weimer [this message]
2002-05-27 23:47           ` Robert I. Eachus
2002-05-29  1:16             ` Robert Dewar
2002-05-29  2:31   ` Robert A Duff
2002-05-29  9:19     ` Dmitry A. Kazakov
2002-05-29  9:54     ` Robert Dewar
2002-05-29 15:20 ` Anatoly Chernyshev
2002-05-29 23:36   ` Robert Dewar
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox