| 1995 |
|---|
| 8 | | Mikael Rittri:
Dimension Inference Under Polymorphic Recursion.
FPCA 1995: 147-159 |
| 7 | EE | Mikael Rittri:
Corrigendum: Semi-Unification of Two Terms in Abelian Groups.
Inf. Process. Lett. 53(4): 235 (1995) |
| 1994 |
|---|
| 6 | | Mikael Rittri:
Semi-Unification of Two Terms in Abelian Groups.
Inf. Process. Lett. 52(2): 61-68 (1994) |
| 5 | | Lennart Augustsson,
Mikael Rittri,
Dan Synek:
On Generating unique Names.
J. Funct. Program. 4(1): 117-123 (1994) |
| 1993 |
|---|
| 4 | | Mikael Rittri:
Retrieving Library Functions by Unifying Types Modulo Linear Isomorphism.
ITA 27(6): 523-540 (1993) |
| 1991 |
|---|
| 3 | | Mikael Rittri:
Using Types as Search Keys in Function Libraries.
J. Funct. Program. 1(1): 71-89 (1991) |
| 1990 |
|---|
| 2 | | Mikael Rittri:
Retrieving Library Identifiers via Equational Matching of Types.
CADE 1990: 603-617 |
| 1989 |
|---|
| 1 | EE | Mikael Rittri:
Using Types as Search Keys in Function Libraries.
FPCA 1989: 174-183 |
