Searching for authors named Mikael Rittri – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Dimension Inference under Polymorphic Recursion
- …Dimension Inference under Polymorphic Recursion Mikael Rittri Department of Computing Science…
- Cited by 9 (1 self) – Add To MetaCart
-
Retrieving Library Functions By Unifying Types Modulo Linear Isomorphism
- …Retrieving library functions by unifying types modulo linear isomorphism by Mikael Rittri…
- Cited by 15 (0 self) – Add To MetaCart
-
Finding the Source of Type Errors Interactively
- …Finding the Source of Type Errors Interactively (Draft) Mikael Rittri 3 1 Introduction All…
- Cited by 7 (0 self) – Add To MetaCart
-
Semi-unification of Two Terms in Abelian Groups
- …-unification of Two Terms in Abelian Groups Mikael Rittri Report 83 July 1994 Report 83, Programming Methodology…
- Cited by 3 (2 self) – Add To MetaCart
-
Retrieving Library Identifiers via Equational Matching of Types
- … Retrieving Library Identifiers via Equational Matching of Types Mikael Rittri Report 65 May 1992 Report 65…
- Cited by 24 (1 self) – Add To MetaCart
-
Programming Languages and Dimensions
- … Bierman, Francis Davey, Jean Goubault, Barney Hilken, Jean-Pierre Jouannaud, Alan Mycroft, Mikael Rittri…
- Cited by 24 (2 self) – Add To MetaCart
Showing 1 through 6.
