Jump to : Contact | BibTex reference | EndNote reference |

henglein94a

Fritz Henglein. Iterative fixed point computation for type-based strictness analysis. TOPPS Report D-192 DIKU, University of Copenhagen, March 1994.

Contact

Fritz Henglein

BibTex Reference

@TechReport{henglein94a,
   Author = {Henglein, Fritz},
   Title = {Iterative fixed point computation for type-based strictness analysis},
   Institution = {DIKU, University of Copenhagen},
   Month = {March},
   Year = {1994}
}

EndNote Reference [help]

Get EndNote Reference (.ref)