dblp.uni-trier.dewww.uni-trier.de

Mikael Rittri Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1995
8 Mikael Rittri: Dimension Inference Under Polymorphic Recursion. FPCA 1995: 147-159
7EEMikael 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
2EEMikael Rittri: Retrieving Library Identifiers via Equational Matching of Types. CADE 1990: 603-617
1989
1EEMikael Rittri: Using Types as Search Keys in Function Libraries. FPCA 1989: 174-183

Coauthor Index

1Lennart Augustsson [5]
2Dan Synek [5]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)