From: I R T <rambam@bigpond.net.au>
Subject: Re: C omega
Date: Mon, 07 Jun 2004 11:17:27 GMT
Date: 2004-06-07T11:17:27+00:00 [thread overview]
Message-ID: <k6yj7h2o.fsf@pop-server.bigpond.net.au> (raw)
In-Reply-To: ca050l$scb$1@a1-hrz.uni-duisburg.de
Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de> writes:
> people who know Ada (Luca Cardelli somehow did ring a bell or two)
> and other non-C languages.
Cardelli is very well known in the type theory and functional programming
fields.
If he is involved in C omega, it should well be worth a look.
See:
http://www.luca.demon.co.uk/
next prev parent reply other threads:[~2004-06-07 11:17 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-06-05 14:25 C omega Pascal Obry
2004-06-05 17:49 ` Wes Groleau
2004-06-05 22:06 ` Adrian Knoth
2004-06-05 23:55 ` Roland Illig
2004-06-06 2:21 ` James Rogers
2004-06-06 2:53 ` Wes Groleau
2004-06-06 18:09 ` [off-topic] bad puns Wes Groleau
2004-06-06 9:47 ` C omega Pascal Obry
2004-06-06 12:32 ` James Rogers
2004-06-06 9:49 ` Pascal Obry
2004-06-06 22:14 ` Georg Bauhaus
2004-06-07 11:17 ` I R T [this message]
2004-06-07 15:45 ` Adrian Knoth
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox