This is the metadata for the paper
- Diomidis Spinellis.
Book
  review: Types and programming languages.
ACM Computing Reviews, 44(4):193–194, April 2003.  
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
 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.
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.