zbMath0967.68047MaRDI QIDQ4499226
Zhaohui Luo, Serguei V. Solov'ev
Publication date: 4 March 2001
zbMATH Keywords
coercive subtypingdependent type
Mathematics Subject Classification ID
Data structures (68P05)
Related Items