search

Little-Languages / reading-club

A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.
MIT License
45 stars 3 forks source link

"Big-Step Semantics" by Esmaeilsabzali, Day, and Atlee #7

Closed ChrisShank closed 5 months ago

ChrisShank commented 5 months ago

https://cs.uwaterloo.ca/~nday/pdf/techreps/2009-05-EsDa-tr.pdf