Last update: Thu Apr 12 03:37:15 MDT 2012
Top |
Symbols |
Numbers |
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{Tofte:1999:BIR,
author = "Mads Tofte",
title = "A brief introduction to regions",
journal = j-SIGPLAN,
volume = "34",
number = "3",
pages = "186--195",
month = mar,
year = "1999",
CODEN = "SINODQ",
ISSN = "0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic)",
ISSN-L = "0362-1340",
bibdate = "Sun Dec 14 09:18:00 MST 2003",
bibsource = "http://portal.acm.org/;
http://www.acm.org/pubs/contents/proceedings/plan/286860/index.html",
URL = "http://www.acm.org:80/pubs/citations/proceedings/plan/286860/p186-tofte/",
acknowledgement = ack-nhfb,
keywords = "design; languages; measurement; performance; theory",
subject = "{\bf D.4.2} Software, OPERATING SYSTEMS, Storage
Management. {\bf D.3.2} Software, PROGRAMMING
LANGUAGES, Language Classifications, Standard ML.",
}
Related entries
- brief,
25(7)97,
28(3)343,
28(3)347,
28(3)349,
28(3)351,
28(3)353,
28(3)355,
28(3)357,
28(3)359,
28(3)361,
28(3)363,
28(3)365,
28(3)367,
28(3)369,
30(2)12,
30(2)12-1,
30(7)29
- D.4.2,
25(6)66,
25(6)234,
25(6)296,
27(9)10,
27(9)23,
27(9)51,
27(9)62,
27(9)124,
27(9)137,
27(9)149,
27(9)187,
27(9)274,
27(9)285,
28(6)217,
29(11)2,
29(11)76-1,
29(11)86,
29(11)98,
29(11)132-1,
29(11)145,
29(11)158,
29(11)196,
29(11)208,
29(11)297,
30(11)125,
31(5)44,
31(9)74,
31(9)84,
31(9)105,
31(9)210,
31(9)244-1,
31(9)258,
31(9)279,
32(5)7,
32(5)97,
32(5)287,
32(5)296-1,
33(11)2,
33(11)12,
33(11)24,
33(11)92,
33(11)218,
33(11)240,
33(11)295,
34(3)1,
34(3)10,
34(3)20,
34(3)37,
34(3)49,
34(3)57,
34(3)68,
34(3)79,
34(3)86,
34(3)97,
34(3)118,
34(3)130,
34(3)138,
34(3)146,
34(3)166,
34(3)176
- introduction,
24(3)34,
26(2)11,
27(4)10,
27(5)1,
27(6)37,
27(7)152,
27(11)11,
28(3)343,
28(3)345,
28(3)347,
28(3)349,
28(3)351,
28(3)353,
28(3)355,
28(3)357,
28(3)359,
28(3)361,
28(3)363,
28(3)365,
28(3)367,
28(3)369,
28(11)42,
32(2)22,
32(2)22-1
- region,
28(6)300,
28(7)229,
29(6)85,
29(6)107,
29(6)171,
29(11)171,
29(11)297,
30(6)174,
32(5)287,
33(5)313,
33(7)75