Entry Cardone:2006:BRB from compj2000.bib
Last update: Sun Mar 31 02:13:37 MDT 2019
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Cardone:2006:BRB,
author = "Felice Cardone",
title = "Book Review: {Benjamin C. Pierce (ed.),
\booktitle{Advanced Topics in Types and Programming
Languages}, The MIT Press (2005) ISBN 0-262-16228-8.
\pounds 39.95. 574 pp. Hardbound}",
journal = j-COMP-J,
volume = "49",
number = "1",
pages = "130--131",
month = jan,
year = "2006",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/bxh138",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Wed Dec 21 17:38:55 MST 2005",
bibsource = "http://comjnl.oxfordjournals.org/content/vol49/issue1/index.dtl;
http://www.math.utah.edu/pub/tex/bib/compj2000.bib",
URL = "http://comjnl.oxfordjournals.org/cgi/content/full/49/1/130;
http://comjnl.oxfordjournals.org/cgi/reprint/49/1/130",
acknowledgement = ack-nhfb,
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
}
Related entries
- £,
49(2)249,
49(2)250,
49(3)375,
49(3)376,
49(4)500,
49(4)500,
49(4)501,
49(4)501,
49(5)629,
49(6)762,
49(6)764,
50(1)129,
50(1)129,
50(3)369,
52(4)510,
52(4)510,
52(6)724,
52(6)725
- 0-262-16228-8,
0(0)xiii--574
- 3-540-20854-2,
0(0)xxv--469
- Advanced,
0(0)viii--378,
0(0)xiii--574,
49(2)252,
49(4)500
- C,
49(2)252,
51(5)523,
51(5)579
- calculus,
0(0)xi--420,
0(0)xii--580,
0(0)xxv--469,
47(1)10
- computer,
0(0)viii--378,
0(0)xi--170,
0(0)xi--420,
0(0)xii--574,
0(0)xiii--483,
0(0)xiii--574,
0(0)xv--387,
0(0)xvi--848,
0(0)xvii--325,
0(0)xviii--240,
0(0)xxi--418,
0(0)xxiii--703,
0(0)xxv--469,
0(0)xxv--672,
0(0)xxvi--590,
0(0)xxx--593,
0(0)xxxii--648,
0(0)xxxvi--412,
0(0)0,
0(0)x--295,
0(0)x--438,
7(0)x--153,
35(0)335,
41(7)445,
43(4)274,
44(4)321,
44(4)324,
44(4)326,
46(1)3,
46(5)487,
47(4)399,
47(6)627,
48(6)650,
48(6)662,
49(1)129,
49(2)136,
49(2)249,
49(3)376,
49(3)378,
49(4)390,
49(4)501,
49(6)762,
50(1)4,
50(2)151,
50(3)254,
50(4)375,
51(1)1,
51(6)688,
51(6)731,
51(6)735,
51(6)741,
51(6)743,
58(0)xvi--358,
z(0)xiv--320,
z(0)xxvi--442
- constructions,
0(0)xxv--469
- Coq'Art,
0(0)xxv--469
- development,
0(0)viii--378,
0(0)xxi--418,
0(0)xxv--469,
0(0)xxix--561,
0(0)xxx--593,
0(0)xxxii--648,
0(0)xxxvi--412,
0(0)0,
0(0)x--438,
35(0)335,
44(1)1,
45(1)2,
45(1)37,
46(6)602,
48(2)253,
49(6)685,
51(2)144
- EATCS,
49(2)249
- ed,
47(2)270,
49(1)127
- Hardbound,
49(1)127,
49(2)249,
49(2)251,
49(2)252,
49(3)375,
49(3)376,
49(4)501,
49(5)629,
49(5)629,
49(6)762,
49(6)762,
50(3)369,
52(6)724
- hardcover,
0(0)ix--292,
0(0)xi--170,
0(0)xii--274,
0(0)xxi--418,
0(0)xxiii--499,
0(0)xxv--469,
49(1)128,
49(6)764,
52(4)510,
52(4)510
- inductive,
0(0)xxv--469,
50(3)369
- Interactive,
0(0)xxv--469,
46(4)340,
47(2)140,
50(3)371
- ISBN,
49(1)127,
49(1)127,
49(1)128,
49(1)129,
49(2)249,
49(2)250,
49(2)251,
49(2)252,
49(3)375,
49(3)376,
49(3)376,
49(4)500,
49(4)500,
49(4)501,
49(4)501,
49(5)629,
49(5)629,
49(6)762,
49(6)762,
49(6)764,
50(1)129,
50(3)369,
52(6)725
- language,
0(0)xiii--574,
0(0)xv--387,
0(0)xxv--672,
0(0)xxx--593,
43(6)512,
44(3)186,
45(1)12,
45(1)27,
45(1)72,
46(6)602,
47(6)651,
48(2)157,
50(2)134
- Poernomo, Iman Hafiz,
0(0)xi--420
- pp,
46(5)487,
49(1)127,
49(1)127,
49(1)128,
49(1)129,
49(2)249,
49(2)250,
49(2)251,
49(2)252,
49(3)375,
49(3)376,
49(3)376,
49(4)500,
49(4)500,
49(4)501,
49(4)501,
49(5)629,
49(5)629,
49(6)762,
49(6)762,
49(6)764,
50(1)129,
50(3)369,
52(4)510,
52(4)510,
52(6)724,
52(6)725,
52(6)725
- Press,
46(5)487,
49(3)376,
50(1)129,
52(4)510
- program,
0(0)viii--378,
0(0)xv--387,
0(0)xxv--469,
0(0)xxv--672,
0(0)xxx--593,
48(4)421,
48(5)588,
48(6)737,
49(1)42,
49(6)744,
50(3)254,
50(3)261,
50(3)269,
51(5)571,
52(5)530,
52(5)545
- programming,
0(0)xi--420,
0(0)xiii--483,
0(0)xiii--574,
0(0)xv--368,
0(0)xv--387,
0(0)xvii--325,
0(0)xxiii--499,
0(0)xxv--469,
0(0)xxxii--648,
7(0)x--153,
35(0)335,
43(4)252,
43(6)491,
43(6)512,
46(5)527,
46(5)529,
47(1)134,
48(2)130,
48(5)602,
49(1)127,
49(1)129,
49(6)665,
50(2)134,
52(6)724,
z(0)xiv--320,
z(0)xxvi--442
- proving,
0(0)xxv--469
- science,
0(0)viii--378,
0(0)xi--420,
0(0)xii--574,
0(0)xiii--483,
0(0)xvii--325,
0(0)xxiii--703,
0(0)xxxii--648,
0(0)0,
7(0)x--153,
35(0)335,
47(4)399,
48(1)49,
48(4)460,
49(1)128,
49(2)249,
49(3)376,
49(4)501,
49(6)762,
z(0)xiv--320,
z(0)xxvi--442
- series,
47(4)399,
49(2)249,
49(2)250,
49(2)252,
49(3)376,
49(4)501,
49(6)762,
50(3)371,
50(4)500
- Text,
0(0)xxiii--703,
49(2)249
- theorem,
0(0)xxv--469,
51(5)566
- theoretical,
47(6)627,
49(1)82,
49(2)249
- topics,
0(0)xiii--574
- type,
0(0)xi--420,
0(0)xiii--574,
43(2)95,
45(2)187,
45(4)436,
47(5)591
- Yves,
52(6)724