From: Anton Moscal <msk@post.tepkom.ru>
To: STARYNKEVITCH Basile <Basile.Starynkevitch@cea.fr>
Cc: caml-list@inria.fr
Subject: Re: Real excellent object oriented source code examples of Ocaml
Date: Thu, 23 Nov 2000 22:32:20 +0300 (MSK) [thread overview]
Message-ID: <Pine.LNX.4.21.0011232227360.1765-100000@kouzdra.glokaya> (raw)
In-Reply-To: <14869.8506.203392.805459@gargle.gargle.HOWL>
On Fri, 17 Nov 2000, STARYNKEVITCH Basile wrote:
> I am trying to interest a young collegue Franck VEDRINE
> <franck.vedrine@cea.fr> to Ocaml-3.00. He is an excellent C++ coder
> and a respected young specialist of abstract interpretation (on which
> he got a PhD recently -regarding abstract interpretation of C++
[...]
See on LablGTK:
http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html
This is wrapper to GTK library with very sophisticated usage of O'Caml OO
features.
Regards,
Anton Moscal
next prev parent reply other threads:[~2000-11-25 15:44 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-11-17 12:14 STARYNKEVITCH Basile
2000-11-20 13:46 ` Xavier Leroy
2000-11-23 19:32 ` Anton Moscal [this message]
2000-11-28 14:12 ` Renaud.Rioboo
2000-11-17 14:38 Don Syme
2000-11-19 15:48 ` Mattias Waldau
2000-11-20 20:43 David McClain
2000-11-21 16:49 ` Brian Rogoff
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.LNX.4.21.0011232227360.1765-100000@kouzdra.glokaya \
--to=msk@post.tepkom.ru \
--cc=Basile.Starynkevitch@cea.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox