Compilation of a Functional Language for the Multithreaded Architecture: DAVRID | IEEE Conference Publication | IEEE Xplore