Pretty-Big-Step Semantics

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-37036-6_3 ◽

2013 ◽

pp. 41-60 ◽

Author(s):

Arthur Charguéraud

Download Full-text