Question

I’ve just started learning a dialect of lisp (Racket) and I’d like to know if some one has a link or can point me to the theoretical foundations of the family of lisp languages, by resources I mean papers, articles or books anything that you could think of.

Preferably indicating which mathematical concepts it uses how it constructs it operators, how it resolves them,unifies identities etcetera. I’v read the SEXP in wikipedia but I find it a bit shallow.

I’m interested in the foundations because I like to be able to explain how things work to others .

Thanks in advance.

Answer 1

You could start at the beginning: http://www-formal.stanford.edu/jmc/recursive.html