Solberg, Kirsten Lackner
-
DAIMI Report Series Nr. 474 (1994): PB-474 Strictness and Totality Analysis - Articles
Strictness and Totality Analysis
Resumé PDF (English) -
DAIMI Report Series Nr. 498 (1995): PB-498 Annotated Type Systems for Program Analysis - Articles
Annotated Type Systems for Program Analysis
Resumé PDF (English) -
DAIMI Report Series Nr. 493 (1995): PB-493 Particpants' Proceedings on the Workshop: Types for Program Analysis - Articles
Particpants' Proceedings on the Workshop: Types for Program Analysis
Resumé PDF (English)