Distributed Computing Language Design Based on System F sub Please view doc/report.tex for more descriptions.