Back to Results
First PageMeta Content
Software engineering / Theoretical computer science / Computing / Logic in computer science / Formal methods / Programming language semantics / Control flow / Eval / Functional languages / Operational semantics / Robert Bruce Findler / Racket


Semantics Engineering: more than just Theorem Proving Robby Findler Northwestern University & PLT
Add to Reading List

Document Date: 2010-10-18 00:06:19

Open Document

File Size: 2,21 MB

Share Result on Facebook