Call for Papers
JOURNAL OF AUTOMATED REASONING
Special issue on PROOF-CARRYING CODE
Proof-carrying code is a technology that allows a host, or code
consumer, to safely run code delivered by an untrusted code producer.
The code producer delivers both a program and a formal proof that
verifies th
hello,
i was wondering if there was a reasong why "hiding imports" have different
semantics from "importing imports" and "exports". what i mean is, if one
writes:
module A(T) where
data T = T
only the type constructor T is exported. simillarly if i write:
module A where
data T = T
module B
hello,
it seems that if the qualified names in instance declarations are removed,
the qualified methods (data constructors) in exports ought to be removed as
well. example: currently in Haskell one may write
module M ( P.C(Q.f) ) where
import qualified P
import qualified Q
...
qualifying the m
Mein Geheimnis ist, daß ich immer Lust auf Erotik habe.
Bin ich eine Nymphomanin? Oder fehlt mir nur der richtige
Partner/in?
Könntest Du das sein?
Ja? Dann besuch mich doch mal auf meiner kleinen Homepage
http://free.adult-freespace.de/coolgirl22/
cu bis bald
Biene
_
Gentle Haskellers
The December issue of the Haskell 98 Report is done.
http://research.microsoft.com/~simonpj/haskell98-revised
As usual, changes are highlighted in the overall bugs list thus: [Dec
2001],
so you can find them easily.
There are the usual crop of presentational improveme
Title: Re: We need "Documentation" (Was: Re:
Integer to Strin
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On Tuesday 04 December 2001 02:51, you wrote:
> On Tue, 4 Dec 2001, Chris wrote:
> > is there a function that converts Integers to Strings and
vice versa?
>
> Prelude> (reads "123 abc") ::
