SE Language Team @digital-asset
hdm-fully-grounding. Formalization of a fully grounding type inference algorithm for the HDM system
