Search the dblp DataBase
Mikael Rittri: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Mikael Rittri
Retrieving Library Identifiers via Equational Matching of Types. [Citation Graph (0, 0)][DBLP]
CADE, 1990, pp:603-617 [Conf] - Mikael Rittri
Using Types as Search Keys in Function Libraries. [Citation Graph (0, 0)][DBLP]
FPCA, 1989, pp:174-183 [Conf] - Mikael Rittri
Dimension Inference Under Polymorphic Recursion. [Citation Graph (0, 0)][DBLP]
FPCA, 1995, pp:147-159 [Conf] - Mikael Rittri
Semi-Unification of Two Terms in Abelian Groups. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 1994, v:52, n:2, pp:61-68 [Journal] - Mikael Rittri
Corrigendum: Semi-Unification of Two Terms in Abelian Groups. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 1995, v:53, n:4, pp:235- [Journal] - Mikael Rittri
Retrieving Library Functions by Unifying Types Modulo Linear Isomorphism. [Citation Graph (0, 0)][DBLP]
ITA, 1993, v:27, n:6, pp:523-540 [Journal] - Lennart Augustsson, Mikael Rittri, Dan Synek
On Generating unique Names. [Citation Graph (0, 0)][DBLP]
J. Funct. Program., 1994, v:4, n:1, pp:117-123 [Journal] - Mikael Rittri
Using Types as Search Keys in Function Libraries. [Citation Graph (0, 0)][DBLP]
J. Funct. Program., 1991, v:1, n:1, pp:71-89 [Journal]
Search in 0.002secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002