└── README.md


/README.md:
--------------------------------------------------------------------------------
 1 | # Resources for Learning PLT Redex
 2 | For those who're not familiar with PLT Redex Team and wanna take a look at Redex.
 3 | 
 4 | ## Tutorials
 5 | * [Redex Doc(short tutorial + long tutorial)](https://docs.racket-lang.org/redex/index.html)
 6 | * [An Introduction to Redex with Abstracting Abstract Machines by David Van Horn](https://dvanhorn.github.io/redex-aam-tutorial/)
 7 | * [Experimenting with Languages in Redex by William J. Bowman](https://williamjbowman.com/doc/experimenting-with-redex/index.html)
 8 | 
 9 | ## Paper
10 | 
11 | * [Automated Testing for Operational Semantics from Burke Fetscher](https://plt.eecs.northwestern.edu/fetscher-phd.pdf)
12 | 
13 | ## Videos
14 | * [OPLSS Talks by David Van Horn](https://www.youtube.com/playlist?list=PL0DsGHMPLUWXFt7slbLYijUBFSJzsPVze)
15 | 
16 | ## Books
17 | * [Semantics Engineering with PLT Redex](https://redex.racket-lang.org/sewpr-preface.html)
18 | 
19 | ## Courses
20 | * [CPSC 539B – Compiler Theory by William J. Bowman](https://www.williamjbowman.com/teaching/2019/w2/cpsc539b/index.html)
21 | * [CMSC631 Program Analysis and Understanding by David Van Horn](https://www.cs.umd.edu/class/spring2014/cmsc631/notes.pdf)
22 | 
23 | ## Examples
24 | * [racket/redex repo](https://github.com/racket/redex/tree/master/redex-examples/redex/examples)
25 | 
26 | ## Others
27 | * [PLT Redex FAQ](http://prl.ccs.neu.edu/blog/2017/09/25/plt-redex-faq/)
28 | 
29 | ## Notes
30 | 
31 | Evaluation context has been hevaily used in PLT Redex examples. Some links below may help :)
32 | 
33 | * [Why do I need evaluation contexts in Redex?](https://stackoverflow.com/questions/42010495/why-do-i-need-evaluation-contexts-in-redex)
34 | * [Evaluation context in textbook PFPL]()
35 | 


--------------------------------------------------------------------------------