Morten Welinder

According to our database¹, Morten Welinder authored at least 3 papers between 1994 and 1995.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1995

Very Efficient Conversions.

[BibT_eX]

[DOI]

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1994

Hand-Writing Program Generator Generators.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1994

Binding-Time Analysis for Standard ML.

[BibT_eX]

Proceedings of the PEPM'94, 1994