Type arithmetic

(List of links)

< Type arithmetic

The following pages link to here:

View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500).

• Peano numbers
• Phantom type
• Obfuscation
• Smart constructors
• Type
• Recursive function theory
• Extensible record
• Relational algebra
• Dependent type

View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500).

Recent content is available under a simple permissive license.