search

uchicago-cs / plrg

PL Reading Group Website
https://uchicago-cs.github.io/plrg
14 stars 6 forks source link

Abstracting Abstract Machines #55

Closed k4rtik closed 2 years ago

k4rtik commented 4 years ago

@JohnReppy suggested this. There are several options:

Original paper at ICFP '10: Abstracting Abstract Machines. David Van Horn and Matthew Might: [ ACM | arXiv ]

CACM Research Highlight: Abstracting Abstract Machines. David Van Horn and Matthew Might: [ ACM | arXiv ]

POPL '16 Tutorial: An Introduction to Redex with Abstracting Abstract Machines: [ HTML ] (perhaps a good opportunity to learn Redex)

EDIT: Just won the ICFP 2020 Most Influential Paper Award