Dependency analysis is vital to several applications in computer science. It lies at the essence of secure information flow analysis, binding-time etc. Various calculi have been proposed literature for analysing individual dependencies. Abadi et. al., by extending Moggi’s monadic metalanguage, unified these into Core Calculus (DCC). DCC has served as a foundational framework dependency last two...