Liquid type

[Google Scholar]

Notes: Dependent type
Papers: rondon:pldi:2008

Arm Architecture Specification Language (ASL), Dependent type, Sail ISA specification language

  • Dependent ML An approach to practical programming with dependent types [xi:jfp:2007]