Solberg, Kirsten Lackner

• DAIMI Report Series No. 474 (1994): PB-474 Strictness and Totality Analysis - Articles
  Strictness and Totality Analysis
  Abstract  PDF
• DAIMI Report Series No. 498 (1995): PB-498 Annotated Type Systems for Program Analysis - Articles
  Annotated Type Systems for Program Analysis
  Abstract  PDF
• DAIMI Report Series No. 493 (1995): PB-493 Particpants' Proceedings on the Workshop: Types for Program Analysis - Articles
  Particpants' Proceedings on the Workshop: Types for Program Analysis
  Abstract  PDF