© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Book review: Concepts in Programming Languages, by John Mitchell
E.A. Boiten
Journal of Functional Programming, 13(6):182-196, November 2003.Bibtex Record
@article{1744,
author = {E.A. Boiten},
title = {Book review: {C}oncepts in {P}rogramming {L}anguages, by {J}ohn {M}itchell},
month = {November},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1744},
publication_type = {article},
submission_id = {15238_1069083651},
ISSN = {0956-7968},
journal = {Journal of Functional Programming},
volume = {13},
number = {6},
}