Techreport,

Description par attributs sémantiques de Lisp pur et preuve de l'équivalence de la définition traductive et de l'évaluateur

.
rapport de recherche, 220. IRIA-Laboria, Rocquencourt, (March 1977)

Meta data

Tags

Users

  • @dparigot

Comments and Reviews