K. Trojahner

Latest

• Descriptor-free representation of arrays with dependent types
• Dependently typed array programs don’t go wrong
• Dependently typed array programs don't go wrong
• Descriptor-free representation of arrays with dependent types
• From contracts towards dependent types: proofs by partial evaluation