http://www.sciencedirect.com/science/article/pii/0167642387900207 http://www.sciencedirect.com/science/article/pii/01676423879... It is incredible how so many c

http://www.sciencedirect.com/science/article/pii/0167642387900207 http://www.sciencedirect.com/science/article/pii/01676423879... It is incredible how so many concepts are clearly explained in so few pages (30). It is the foundation of caml light language that gave birth to ocaml. It explains lambda calculus, semantic of ML family languages, SECD machine, how to perform demonstration in CS. IMHO, it requires at least 5 days to fully understand it if everything is new for you.