Semantics Engineering with PLT Redex
Publisher: MIT Press
Published: 2009
Language: eng
Number of pages: 520
ISBN-13: 9780262258173