Bettina Blaaberg

According to our database, Bettina Blaaberg authored at least 1 paper in 1994.

Collaborative distances:

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

1994

Adequacy for a Lazy Functional Language with Recursive and Polymorphic Types.

Bettina Blaaberg, Christian Clausen

Theor. Comput. Sci., 1994