This is the metadata for the paper in BibTeX format.
@Article{Spi03l,
	Title="Book Review: Types and Programming Languages",
	Author="Diomidis Spinellis",
	Journal="ACM Computing Reviews",
	Volume=44,
	Number=4,
	Pages="193--194",
	Month=apr,
	Year=2003,
	tags="plang",
	URL=    "http://www.spinellis.gr/pubs/Breview/2003-CR-TAPL/html/review.html"
	}



Home
Creative Commons License Unless otherwise expressly stated, all original material on this page created by Diomidis Spinellis is licensed under a Creative Commons Attribution-Share Alike 3.0 Greece License.