A Provably Correct Compilation of Functional Languages into Scripting Languages
-
Published:2017
Issue:1
Volume:27
Page:19-76
-
ISSN:2248-2695
-
Container-title:Scientific Annals of Computer Science
-
language:
-
Short-container-title:SACS
Author:
Giannini Paola,Shaqiri Albert
Publisher
Scientific Annals of Computer Science
Subject
Applied Mathematics,General Computer Science