yook87

J. Young, P. O'Keefe. Experience with a Type Evaluator. In Proc. Workshop on Partial Evaluation and Mixed Computation, Denmark, D. Bjorner, A. Ershov, N. Jones (eds.), Pages 573-582, October 1987.

Keyword

[ Parametricity ]

Contact

Jonathan Young
P. O'Keefe

BibTex Reference

@InProceedings{yook87,
   Author = {Young, J. and O'Keefe, P.},
   Title = {Experience with a Type Evaluator},
   BookTitle = {Proc. Workshop on Partial Evaluation and Mixed Computation, Denmark},
   editor = {Bjorner, D. and Ershov, A. and Jones, N.},
   Pages = {573--582},
   Publisher = {North-Holland},
   Month = {October},
   Year = {1987}
}

EndNote Reference [help]

Get EndNote Reference (.ref)