Kristian Damm Jensen

According to our database, Kristian Damm Jensen authored at least 1 paper in 1994.

Collaborative distances:

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

1994

Efficient Strictness Analysis of Haskell.

Kristian Damm Jensen, Peter Hjæresen, Mads Rosendahl

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994