ohri94

Peter W. O'Hearn, Jon G. Riecke. Reducing Sequentiality and Block Structure to Parametric Polymorphism. In Proc. European Symp. on Programming (ESOP), Edinburgh, Scotland, April 1994.

Keyword

[ Parametricity ]

Contact

P. W. O'Hearn
J. G. Riecke

BibTex Reference

@InProceedings{ohri94,
   Author = {O'Hearn, Peter W. and Riecke, Jon G.},
   Title = {Reducing Sequentiality and Block Structure to Parametric Polymorphism},
   BookTitle = {Proc. European Symp. on Programming (ESOP), Edinburgh, Scotland},
   Publisher = {Springer-Verlag},
   Month = {April},
   Year = {1994}
}

EndNote Reference [help]

Get EndNote Reference (.ref)