To answer the other part of your question, DAML stands for Digital Asset Modeling Language. No relationship with ML (apart from its influence in functional programming, of course).