From: Markus Mottl <mottl@miss.wu-wien.ac.at>
To: David Mentre <David.Mentre@inria.fr>
Cc: caml-list@inria.fr
Subject: Re: [off-topic] Survey or book on programming language structures
Date: Mon, 22 Jan 2001 13:05:58 +0100 [thread overview]
Message-ID: <20010122130558.A22698@miss.wu-wien.ac.at> (raw)
In-Reply-To: <qtl3debdgrw.fsf@pochi.inria.fr>; from David.Mentre@inria.fr on Mon, Jan 22, 2001 at 11:26:27 +0100
On Mon, 22 Jan 2001, David Mentre wrote:
> I am more interested in a comparison of paradigms in a broader view (how
> adaptation is handled by functionnal and object-oriented styles for
> example) and a formalization (i.e. theorical presentation) of those
> paradigms in a common framework.
Ok, so your question is mostly about software engineering (programming
in the large) rather than expressiveness on an algorithmic level. The
book is mostly concerned with the latter...
Since you seem to be more interested in high-level (formal) specification
of programs, you might find some things (for functional style = ML)
on this page (but no inter-language comparisons):
http://www.dcs.ed.ac.uk/home/dts
And then there is also Xavier's paper on "Objects and Classes vs. Modules
in OCaml".
http://pauillac.inria.fr/~xleroy/talks/icfp99.ps.gz
- Markus
--
Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl
next prev parent reply other threads:[~2001-01-22 21:59 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-01-16 15:37 David Mentre
2001-01-20 17:05 ` Markus Mottl
2001-01-22 10:26 ` David Mentre
2001-01-22 12:05 ` Markus Mottl [this message]
2001-01-23 8:46 ` Xavier Leroy
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=20010122130558.A22698@miss.wu-wien.ac.at \
--to=mottl@miss.wu-wien.ac.at \
--cc=David.Mentre@inria.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