frpf91

T. Freeman, F. Pfenning. Refinement types for ML (Extended Abstract). In Proc. ACM SIGPLAN '91 Conf. on Programming Language Design and Implementation, Toronto, Ontario, Pages 268-277, June 1991.

Keyword

[ Dyntyp ]

Contact

T. Freeman
F. Pfenning

BibTex Reference

@InProceedings{frpf91,
   Author = {Freeman, T. and Pfenning, F.},
   Title = {Refinement types for ML (Extended Abstract)},
   BookTitle = {Proc. ACM SIGPLAN '91 Conf. on Programming Language Design and Implementation, Toronto, Ontario},
   Pages = {268--277},
   Publisher = {ACM Press},
   Month = {June},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)