Mikael Rittri

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

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

Coauthor Index

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

Last update Sat May 25 20:49:50 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page