Semantics Engineering with PLT Redex by Robert Bruce Findler, Matthias Felleisen, Matthew Flatt

Semantics Engineering with PLT Redex

Robert Bruce Findler, Matthias Felleisen, Matthew Flatt

502 pages • first pub 2009 (editions)

nonfiction computer science informative medium-paced
Powered by AI (Beta)
Loading...

Description

The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reli...

Read more

Community Reviews

Loading...

Content Warnings

Loading...