@inbook{5dcaaf77468642019d4c5765ff8dfcf5,
title = "Compiling functional to scripting languages",
abstract = "In this paper we consider the problem of translating a core typed functional language, F#(including mutable variables), into scripting languages such as JavaScript or Python. We abstract the most significant characteristics of such scripting languages in an intermediate language (IL for short), which is an imperative language, with constructs for handling safely pieces of code containing free variables. We define an operational semantics for IL and highlight the proof of correctness of the translation.",
keywords = "Functional languages, Intermediate language, Scripting languages, Translation",
author = "Paola Giannini and Albert Shaqiri",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2014.",
year = "2014",
doi = "10.1007/978-3-662-44920-2_8",
language = "English",
series = "Communications in Computer and Information Science",
publisher = "Springer Verlag",
pages = "114--130",
editor = "Jos{\'e} Cordeiro and {van Sinderen}, Marten",
booktitle = "Software Technologies - 8th International Joint Conference, ICSOFT 2013, Revised Selected Papers",
address = "Germany",
}