The efficient implementation of function calls and non-local control transfers is a critical part
of modern language implementations and is important in the implementation of everything …

This paper describes the design and implementation of a new backend for the Standard ML
of New Jersey (SML/NJ) system that is based on the LLVM compiler infrastructure. We first …

Within computer science, there is a variety of ways in which algorithms can be expressed.
One of these ways is functional programming, in which functions and recursion are used to …

A lightweight and efficient mechanism for user-space threads is an important building block
for parallel and concurrent language implementations. It is particularly advantageous when …