The following pages link to Polytypic programming with ease (Q2726288):
Displaying 6 items.
- Type-indexed data types (Q1881268) (← links)
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- Polytypic programming in Maude (Q2703708) (← links)
- Manufacturing datatypes (Q2757102) (← links)
- (Q3026314) (← links)
- Implementation of Functional Languages (Q5466584) (← links)