6,140 followers
#Publication - Functional big-step semantics | © Springer-Verlag Berlin Heidelberg 2016 When doing an interactive … https://t.co/LIGrNqe7a5
#Publication - Functional big-step semantics | © Springer-Verlag Berlin Heidelberg 2016 When doing an interactive … https://t.co/LIGrNqe7a5