Add to ORKGThis report describes what polytypic programming is, a new system for writing polytypic functions, and a number of useful example functions including generalised versions of map, zip and a specific lazy array based unification algorithm
Unification, or two-way pattern matching, is the process of solving an equation involving two first-...
This article proposes a new framework for a polytypic extension of functional programming languages....
A functional polytypic program is one that is parameterised by datatype. Since polytypic functions a...
Many functions have to be written over and over again for different datatypes, either because dataty...
Many functions have to be written over and over again for different datatypes, either because dataty...
A polytypic program is a program that behaves uniformly over a large class of datatypes. For functio...
Many functions have to be written over and over again for different datatypes, either because dataty...
Many algorithms have to be implemented over and over again for different datatypes, either because d...
Many functions have to be written over and over again for different datatypes, either because dataty...
Unification, or two-way pattern matching, is the process of solving an equation involving two first-...
Unification, or two-way pattern matching, is the process of solving an equation involving two first-...
Many functions have to be written over and over again for different datatypes, either because dataty...
Many algorithms have to be implemented over and over again for different datatypes, either because d...
Unification, or two-way pattern matching, is the process of solving an equation involving two first...
This article proposes a new framework for a polytypic extension of functional programming languages....
Unification, or two-way pattern matching, is the process of solving an equation involving two first-...
This article proposes a new framework for a polytypic extension of functional programming languages....
A functional polytypic program is one that is parameterised by datatype. Since polytypic functions a...
Many functions have to be written over and over again for different datatypes, either because dataty...
Many functions have to be written over and over again for different datatypes, either because dataty...
A polytypic program is a program that behaves uniformly over a large class of datatypes. For functio...
Many functions have to be written over and over again for different datatypes, either because dataty...
Many algorithms have to be implemented over and over again for different datatypes, either because d...
Many functions have to be written over and over again for different datatypes, either because dataty...
Unification, or two-way pattern matching, is the process of solving an equation involving two first-...
Unification, or two-way pattern matching, is the process of solving an equation involving two first-...
Many functions have to be written over and over again for different datatypes, either because dataty...
Many algorithms have to be implemented over and over again for different datatypes, either because d...
Unification, or two-way pattern matching, is the process of solving an equation involving two first...
This article proposes a new framework for a polytypic extension of functional programming languages....
Unification, or two-way pattern matching, is the process of solving an equation involving two first-...
This article proposes a new framework for a polytypic extension of functional programming languages....
A functional polytypic program is one that is parameterised by datatype. Since polytypic functions a...