paok95

Jens Palsberg, Patrick O'Keefe. A Type System Equivalent to Flow Analysis. In Proc. 22nd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL), San Francisco, California, Pages 367-378, acmpubs@acm.org, January 1995.

Keywords

[ Dyntyp ] [ Rectype ]

Contact

J. Palsberg
P. O'Keefe

BibTex Reference

@InProceedings{paok95,
   Author = {Palsberg, Jens and O'Keefe, Patrick},
   Title = {A Type System Equivalent to Flow Analysis},
   BookTitle = {Proc. 22nd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL), San Francisco, California},
   Pages = {367--378},
   Publisher = {ACM Press},
   Address = {acmpubs@acm.org},
   Month = {January},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)