Alain Laville

According to our database¹, Alain Laville authored at least 4 papers between 1986 and 1991.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1991

Comparison of Priority Rules in Pattern Matching and Term Rewriting.

[BibT_eX]

[DOI]

J. Symb. Comput., 1991

1988

Implementation of Lazy Pattern Matching Algorithms.

[BibT_eX]

[DOI]

Proceedings of the ESOP '88, 1988

1987

Lazy pattern matching in the ML language.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1987

1986

Proof of termination of the rewriting system subst on CCL.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1986