Last update: Sun Oct 15 02:16:54 MDT 2017
Top |
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{Chadwick:2010:FAG,
author = "Bryan Chadwick and Karl Lieberherr",
title = "A functional approach to generic programming using
adaptive traversals",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "23",
number = "4",
pages = "433--463",
month = nov,
year = "2010",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Fri Oct 26 09:07:28 MDT 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=23&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=23&issue=4&spage=433",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
Related entries
- approach,
11(2)145,
12(4)381,
14(2)101,
16(4)379,
17(1)47,
19(2)231,
21(1)37,
22(2)155,
25(1)127,
26(1)29
- functional,
14(1)35,
15(4)349,
16(3)203,
16(4)379,
17(1)7,
17(3)207,
20(1)73,
20(3)237,
20(3)257,
21(1)89,
21(1)147,
21(4)361,
21(4)377,
22(1)3,
22(1)67,
23(4)465,
24(1)151,
24(4)281,
24(4)311,
25(1)39,
25(1)127
- generic,
14(1)7,
20(1)73,
23(3)337,
24(1)3
- programming,
11(4)363,
13(1)7,
13(1)11,
13(1)51,
16(1)37,
16(3)203,
16(4)379,
17(1)7,
17(3)207,
18(1)121,
19(2)197,
20(1)73,
20(3)257,
21(1)89,
21(1)147,
21(1)193,
22(1)81,
22(2)155,
23(3)337,
23(4)465,
24(4)341
- traversals,
25(1)3
- using,
12(1)47,
15(2)161,
16(1)63,
17(1)129,
17(3)207,
19(1)101,
19(2)169,
20(1)123,
20(3)257,
24(1)81