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{Lang:2007:ELK,
author = "Fr{\'e}d{\'e}ric Lang",
title = "Explaining the lazy {Krivine} machine using explicit
substitution and addresses",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "3",
pages = "257--270",
month = sep,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9013-1",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=3&spage=257",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Abstract machine; Call-by-need; Functional
programming; Lazy evaluation",
}
Related entries
- abstract,
13(1)119,
14(2)143,
17(4)297,
19(1)7,
19(1)31,
19(2)197,
19(2)231,
19(2)263,
19(4)415,
20(3)209,
20(3)237,
20(3)271,
23(1)87
- evaluation,
12(1)105,
12(2)203,
12(4)377,
12(4)381,
13(4)355,
14(2)101,
14(2)173,
14(4)357,
17(1)7,
17(1)47,
17(1)93,
18(1)15,
18(1)211,
20(3)271,
21(1)5,
21(1)37,
26(1)63
- explicit,
15(1)57,
19(2)263,
20(1)37
- 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,
21(1)89,
21(1)147,
21(4)361,
21(4)377,
22(1)3,
22(1)67,
23(4)433,
23(4)465,
24(1)151,
24(4)281,
24(4)311,
25(1)39,
25(1)127
- Krivine,
20(3)209,
20(3)231,
20(3)237,
20(3)271,
20(3)295,
20(3)333
- lazy,
20(3)271,
21(1)147,
24(1)151,
24(4)281
- machine,
20(3)199,
20(3)209,
20(3)231,
20(3)237,
20(3)271,
20(3)295,
20(3)319,
20(3)333,
21(1)119,
25(2)209
- 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,
21(1)89,
21(1)147,
21(1)193,
22(1)81,
22(2)155,
23(3)337,
23(4)433,
23(4)465,
24(4)341
- substitution,
15(1)57,
19(2)263,
19(2)305,
20(1)37
- 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,
23(4)433,
24(1)81