Morten Welinder

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1995

Binding-Time Analysis for Standard ML.

Lars Birkedal, Morten Welinder

LISP Symb. Comput., 1995

Very Efficient Conversions.

Morten Welinder

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

1994

Hand-Writing Program Generator Generators.

Lars Birkedal, Morten Welinder

Proceedings of the Programming Language Implementation and Logic Programming, 1994