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 Summary of 1 rating

Average rating

5.0

Content Warnings

This book doesn't have any content warnings yet!

If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.