Fritz Henglein. Iterative fixed point computation for type-based strictness analysis. TOPPS Report D-192 DIKU, University of Copenhagen, March 1994.
@TechReport{henglein94a,
Author = {Henglein, Fritz},
Title = {Iterative fixed point computation for type-based strictness analysis},
Institution = {DIKU, University of Copenhagen},
Month = {March},
Year = {1994}
}
Get EndNote Reference (.ref)