smolka89

G. Smolka. Logic Programming Over Polymorphically Order-Sorted Types. PhD Thesis Universitaet Kaiserslautern, May 1989.

Keyword

[ Parametricity ]

Contact

G. Smolka

BibTex Reference

@PhdThesis{smolka89,
   Author = {Smolka, G.},
   Title = {Logic Programming Over Polymorphically Order-Sorted Types},
   School = {Universitaet Kaiserslautern},
   Month = {May},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)