JUCS - Journal of Universal Computer Science 11(7): 1255-1274, doi: 10.3217/jucs-011-07-1255
Compiling Non­strict Functional Languages for the .NET Platform
expand article infoMonique Monteiro‡, Mauro Araújo‡, Rafael Borges‡, André Santos‡
‡ Center of Informatics, Federal University of Pernambuco, Brazil

Corresponding author: Monique Monteiro ( mlbm@cin.ufpe.br )

© Monique Monteiro, Mauro Araújo, Rafael Borges, André Santos.
This article is freely available under the J.UCS Open Content License.
Citation: Monteiro M, Araújo M, Borges R, Santos A (2005) Compiling Non­strict Functional Languages for the .NET Platform. JUCS - Journal of Universal Computer Science 11(7): 1255-1274. https://doi.org/10.3217/jucs-011-07-1255
Open Access
Abstract
In this work, we propose a compilation strategy for non­strict functional languages targeting the Microsoft .NET Platform, a multilanguage platform which provides a large number of services to aid current software development. This strategy is based on the push/enter execution model, enables fast function calling mechanisms whenever possible and males use of new features present in .NET Framework, such as delegates and tail calls. Our case study was the compilation of the Haskell language, a standardized and well known non­strict functional language. Our main contribution is the construction of an environment for the testing of different compilation techniques for functional languages targeting .NET.
Keywords
.NET, languages interoperability, virtual machines, functional programming, compilers, Haskell