Mikael Rittri

According to our database, Mikael Rittri authored at least 7 papers between 1990 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1995

Corrigendum: Semi-Unification of Two Terms in Abelian Groups.

Mikael Rittri

Inf. Process. Lett., 1995

Dimension Inference Under Polymorphic Recursion.

Mikael Rittri

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

1994

On Generating unique Names.

Lennart Augustsson, Mikael Rittri, Dan Synek

J. Funct. Program., 1994

Semi-Unification of Two Terms in Abelian Groups.

Mikael Rittri

Inf. Process. Lett., 1994

1993

Retrieving Library Functions by Unifying Types Modulo Linear Isomorphism.

Mikael Rittri

RAIRO Theor. Informatics Appl., 1993

1991

Using Types as Search Keys in Function Libraries.

Mikael Rittri

J. Funct. Program., 1991

1990

Retrieving Library Identifiers via Equational Matching of Types.

Mikael Rittri

Proceedings of the 10th International Conference on Automated Deduction, 1990