A Relational Perspective on Types With Laws (1993)
With relational transformational programming in mind, an extension of a "lawless " relational theory of datatypes is proposed in order to study and manipulate quotient types within a...
Making Functionality More General (1992)
The definition for the notion of a "function" is not cast in stone, but depends upon what we adopt as types in our language. With partial equivalence relations (pers) as types in a relational...
A Calculational Theory of Pers as Types (1992)
In the calculational approach to programming, programs are derived from specifications by algebraic reasoning. This report presents a calculational programming framework based upon the notion of...
A Calculational Theory of Pers as Types (1992)
In the calculational approach to programming, programs are derived from specifications by algebraic reasoning. This report presents a calculational programming framework based upon the notion of...
A Calculational Theory of Pers as Types (1992)
In the calculational approach to programming, programs are derived from specifications by algebraic reasoning. This report presents a calculational programming framework based upon the notion of...
Making Functionality More General (1992)
The definition for the notion of a "function" is not cast in stone, but depends upon what we adopt as types in our language. With partial equivalence relations (pers) as types in a relational...
A Calculational Theory of Pers as Types (1992)
We present a programming paradigm based upon the notion of binary relations as programs, and partial equivalence relations (pers) as types. Our method is calculational , in that programs are derived...
Making Functionality More General (1992)
The definition for the notion of a "function" is not cast in stone, but depends upon what we adopt as types in our language. With partial equivalence relations (pers) as types in a relational...