--
You received this message because you are subscribed to the Google Groups "pure-lang" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pure-lang+unsubscribe@googlegroups.com.
To post to this group, send email to pure...@googlegroups.com.
Visit this group at https://groups.google.com/group/pure-lang.
For more options, visit https://groups.google.com/d/optout.
AlbertNone that I know of (outside the realm of computer algebra theorem proving, that is). Both "Term Rewriting and All That" and the Terese book are about theory. There aren't all that many practical general-purpose systems for TRS programming either. Pure is the only one I know of. :)I'm afraid that programming language research was way more interesting in the 1970s and 1980s, when people were still pursuing novel concepts instead of incrementally improving the tried and proven stuff.
There's Mike O'Donnell's book from 1985, but that's more of historic interest nowadays: https://books.google.de/books/about/Equational_Logic_as_a_Programming_Langua.html?id=w9kmAAAAMAAJ&source=kp_cover&redir_esc=y
On Sun, Mar 25, 2018 at 4:57 PM, Yves Cloutier <yves.c...@gmail.com> wrote:
Hi there,
I'm reaching out to see if there would be any recommendations for books you know of on the topic of term rewriting approach to software development.
Something practical, which ideally doesn't make heavy use of types.
I stumbles upon Term Rewriting And All That which seems promising. Any others anyone would recommend?
--
You received this message because you are subscribed to the Google Groups "pure-lang" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pure-lang+...@googlegroups.com.
To post to this group, send email to pure...@googlegroups.com.
Visit this group at https://groups.google.com/group/pure-lang.
For more options, visit https://groups.google.com/d/optout.