Mikael Rittri

Publication Activity (10 Years)

Years Active: 1989-1995
Publications (10 Years): 0

Publications

Mikael Rittri
Dimension Inference Under Polymorphic Recursion. FPCA (1995)
Mikael Rittri
Corrigendum: Semi-Unification of Two Terms in Abelian Groups. Inf. Process. Lett. 53 (4) (1995)
Mikael Rittri
Semi-Unification of Two Terms in Abelian Groups. Inf. Process. Lett. 52 (2) (1994)
Lennart Augustsson, Mikael Rittri, Dan Synek
On Generating unique Names. J. Funct. Program. 4 (1) (1994)
Mikael Rittri
Retrieving Library Functions by Unifying Types Modulo Linear Isomorphism. RAIRO Theor. Informatics Appl. 27 (6) (1993)
Mikael Rittri
Using Types as Search Keys in Function Libraries. J. Funct. Program. 1 (1) (1991)
Mikael Rittri
Retrieving Library Identifiers via Equational Matching of Types. CADE (1990)
Mikael Rittri
Using Types as Search Keys in Function Libraries. FPCA (1989)