Reviews for Semantics Engineering with PLT Redex

The average rating for Semantics Engineering with PLT Redex based on 2 reviews is 4 stars.

Review # 1 was written on 2020-09-08 00:00:00 David Hester This book, after some introductory materials, describes a series of abstract machines culminating in the CESK machine which form a line of research which has some similarities to stuff done by French researchers starting with Krivine. The inspiration for the work seems to be John C. Reynolds work on definitional interpreters. The work by the French seems to have more coverage though given a number of successes of projects led by them including the OcaML language, the Coq interactive theorem prover and the verified compiler Compcert. Somewhat interesting nonetheless.

Review # 2 was written on 2016-04-02 00:00:00 Steve Ciupa A very good book to read