5 results
Existential type: Some
Deep evaluation of data structures
Core data structures and operations
Boring and Absurd types
Decidable propositions.