Kirsten Lackner Solberg

Strictness and Totality Analysis with Conjunction

Kirsten Lackner Solberg, 1995 .

Particpants' Proceedings on the Workshop: Types for Program Analysis

Hanne Riis Nielson, Kirsten Lackner Solberg, H. R. Nielson, 1995 .

Annotated Type Systems for Program Analysis

Kirsten Lackner Solberg, K. Solberg, 1995 .

Strictness and Totality Analysis

Hanne Riis Nielson, Kirsten Lackner Solberg, 1994 .