Pretty-Big-Step Semantics Arthur Charguéraud Inria Saclay – Île-de-France - SNAP-1 - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-12-14 08:31:51		Pretty-Big-Step Semantics Arthur Charguéraud Inria Saclay – Île-de-France & LRI, Université Paris Sud, CNRS Abstract. In spite of the popularity of small-step semantics, big-step Add to Reading List Source URL: www.chargueraud.org Download Document from Source Website File Size: 468,89 KB Share Document on Facebook