Hi Sebastian,
thanks for your interest. for those who read German and like to browse dusty
old things in the hope of finding shiny new insights, a postscript version is here:
> "Elemente einer kombinierten funktionalen/logischen Sprache: ein
> Konzept für die Erweiterung einer Reduktionssprache"
http://www.cs.kent.ac.uk/people/staff/cr3/publications/msc.html
of course, i'd be interested to learn what todays Curry community thinks of it,
but even as the author, i have to admit that it is somewhat longwinded even for
a German academic text, and not as formal or concise as i'd like it today (seems
i already was a fan of Wadler's list of successes trick, but did not yet know about
monads, there's no discussion of separating effects by types, only fragments of
operational semantics, ..). well, it was only a MSc thesis, and the reading is light,
so if you apply some speed-reading to focus on the bits that interest you, i hope
you might still find it a worthwhile perspective on functional logic programming
at the time (are folks here aware of Berkling's work on epsilon reduction, for
instance?).
thanks again,
claus
ps. yes, Kluge tends to do a thorough job on explaining things (unlike Berkling,
who didn't seem able to present and sell his great ideas), although his style is
sometimes in an awkward place between formal and informal. but the work
on reduction systems in the Berkling/Kluge tradition is well worth looking
into, for anyone interested in declarative language design and implementation.
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mo Apr 23 2007 - 11:58:12 CEST