Differences between gradual, soft, and dynamic dependent typing?

I've skimmed a few papers on gradual/soft/dynamic dependent typing, but I'm not sure where to focus my energy and what to read in detail. Can someone tell me what the prominent differences are between these three approaches?

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Search "Soft Typing"

Soft typing has been discussed a number of times on LtU.