Jul 19, 2007 · Abstract. Indexed families of types are a way of associating run-time data with compile-time abstractions that can be used to reason about.
... indizierter Ty- pen. Indizierte Typen sind Typen, die mit bestimmten Werten wie ganzen. Zahlen oder Wahrheitswerten parametrisiert werden k onnen. Die ...
Unique indexes enforce the constraint of uniqueness in your index keys. · Bidirectional indexes allow for scans in both the forward and reverse directions.
People also ask
What are the three main types of indexes?
What is an index and the type of index?
... indizierter Ty- pen. Indizierte Typen sind Typen, die mit bestimmten Werten wie ganzen. Zahlen oder Wahrheitswerten parametrisiert werden k onnen. Die ...
We present an approach to enriching the type system of ML with a restricted form of dependent types, where type index objects are drawn from a constraint ...
We construct our language inside the dependently typed programming language Agda 2, making essential use of coinductive types and induction-recursion.
Christoph Zenger: Indizierte Typen. Karlsruhe Institute of Technology, 1998, pp. 1-190. a service of Schloss Dagstuhl - Leibniz Center for Informatics.
Zugehörige Institution(en) am KIT, Fakultät für Informatik – Institut für Algorithmen und Kognitive Systeme (IAKS). Publikationstyp, Hochschulschrift.
There are a number of extended forms of algebraic data types such as type classes with existential types and generalized algebraic data types.
Jan 20, 2009 · We add rules for three new types: Σ+ types; a type nat representing ... Indizierte Typen. PhD thesis, Universit at Karl- sruhe, 1998.