Compiling non-strict programs on the call stack