The following pages link to Polymorphic subtyping in O'Haskell (Q700972):
Displaying 6 items.
- Implementing a computer algebra system in Haskell (Q990498) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Subtyping recursion and parametric polymorphism in kernel Fun (Q1780453) (← links)
- Expander2: program verification between interaction and automation (Q2873787) (← links)
- Pragmatic subtyping in polymorphic languages (Q5234269) (← links)
- Implementation of Functional Languages (Q5466586) (← links)