Login / Signup

Descriptor-Free Representation of Arrays with Dependent Types.

Kai TrojahnerClemens Grelck
Published in: IFL (2008)
Keyphrases