Semantics Engineering with PLT Redex - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Matthias Felleisen, Robby Findler, Matthew Flatt. Semantics Engineering with PLT Redex. MIT Press, 2009. [doi]

The following publications are possibly variants of this publication:

Semantics Engineering with PLT RedexMatthias Felleisen, Robby Findler, Matthew Flatt. MIT Press, 2009.

Randomized Testing in PLT RedexCasey Klein, Robby Findler. In Workshop on Scheme and Functional Programming (SFP). 2009:

An operational semantics for SchemeJacob Matthews, Robby Findler. JFP, 18(1):47-86, 2008. [doi]

A Visual Environment for Developing Context-Sensitive Term Rewriting SystemsJacob Matthews, Robby Findler, Matthew Flatt, Matthias Felleisen. RTA 2004: 301-311 [doi]

Redex: a language for lightweight semantics engineering (keynote)Robby Bruce Findler. SLE 2016: 1 [doi]

runs on WebDSL