S
setvariants
Prototype implementation of a mini-ML language with polymorphic variants and pattern matching using set-theoretic types.
Prototype implementation of a mini-ML language with polymorphic variants and pattern matching using set-theoretic types.