Entry Henson:1988:HOT from compj1980.bib
Last update: Sat Jan 6 02:03:49 MST 2018
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{Henson:1988:HOT,
author = "M. C. Henson",
title = "Higher-order Transformations and Type Simulations",
journal = j-COMP-J,
volume = "31",
number = "6",
pages = "517--524",
month = dec,
year = "1988",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/31.6.517",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Tue Dec 4 14:48:25 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/31/6.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_06/",
URL = "http://comjnl.oxfordjournals.org/content/31/6/517.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_06/tiff/517.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_06/tiff/518.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_06/tiff/519.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_06/tiff/520.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_06/tiff/521.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_06/tiff/522.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_06/tiff/523.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_06/tiff/524.tif",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Essex Univ.",
affiliationaddress = "Colchester, Engl",
classcodes = "C4240 (Programming and algorithm theory); C6150C
(Compilers, interpreters and other processors); C6120
(File organisation)",
classification = "723; C4240 (Programming and algorithm theory); C6120
(File organisation); C6150C (Compilers, interpreters
and other processors)",
corpsource = "Dept. of Comput. Sci., Essex Univ., UK",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "code; Code generator; compilers; Compilers; Computer
Metatheory--Programming Theory; Computer Programming
Languages; data structures; Data structures; functional
language; Functional language; Functional Languages;
functional program; Functional program, Computer
Programming; functional programming; Functional
programming; generator; higher-order accumulation;
Higher-Order Accumulation; Higher-order accumulation;
higher-order program transformations; Higher-order
program transformations; Higher-Order Program
Transformations; program compilers; programming theory;
simulations; Theory; type; Type Simulation; Type
simulations",
thesaurus = "Data structures; Functional programming; Program
compilers; Programming theory",
treatment = "T Theoretical or Mathematical",
}
Related entries
- C4240,
31(6)545,
31(6)553,
31(6)557,
31(6)561,
31(6)567,
32(2)187,
32(5)437,
32(5)470,
32(5)474,
32(6)567,
32(6)571
- C6120,
31(6)490,
31(6)531,
31(6)540,
31(6)565,
32(1)63,
32(1)68,
32(3)228,
32(4)323,
32(4)351,
32(6)494
- C6150C,
31(6)540,
31(6)545,
32(1)29,
32(1)91,
32(2)127,
32(2)142,
32(2)152,
32(2)175,
32(3)276,
32(5)422,
32(5)445
- code,
23(1)46,
23(1)53,
23(1)66,
23(2)147,
23(3)212,
23(3)223,
24(4)324,
25(3)316,
25(4)442,
26(4)303,
26(4)375,
27(3)246,
27(4)354,
27(4)368-1,
28(3)343,
28(4)379,
29(1)12,
29(1)60,
29(4)307,
29(5)472,
29(6)573,
30(1)87,
30(2)149,
30(6)541,
30(6)569,
32(2)152,
32(3)228,
32(3)241,
32(3)246,
32(3)276
- compiler,
23(2)115,
23(2)147,
23(3)211,
23(3)212,
23(3)223,
23(3)273,
24(2)107,
25(1)17,
25(3)331,
26(1)15,
26(2)142,
26(2)164,
27(3)233,
27(4)348,
28(1)9,
28(2)128,
28(3)257,
29(2)151,
29(3)253,
30(2)183,
30(4)328,
30(6)519,
31(6)540,
31(6)545,
32(1)29,
32(1)91,
32(2)127,
32(2)142,
32(2)152,
32(2)175,
32(3)276,
32(5)422,
32(5)445
- generator,
25(1)140,
25(2)242,
25(3)316,
26(1)15,
26(1)72,
27(4)354,
28(5)501,
29(4)315,
29(5)460,
30(1)37,
30(2)97,
30(3)239,
30(5)433,
31(3)220
- higher-order,
32(2)98,
32(2)122
- interpreter,
23(3)223,
26(2)164,
30(1)37,
30(1)43,
30(6)519,
31(2)110,
31(6)525,
31(6)540,
31(6)545,
32(1)29,
32(1)91,
32(2)108,
32(2)127,
32(2)142,
32(2)152,
32(2)175,
32(3)276,
32(5)422,
32(5)445
- Metatheory--Programming,
32(2)122,
32(4)290,
32(4)305,
32(4)323
- order, Higher-,
32(2)98,
32(2)122
- order, higher-,
32(2)98,
32(2)122
- organisation,
23(1)37,
23(3)207,
24(1)29,
24(4)290,
25(1)158,
25(2)169,
25(2)193,
25(2)239,
25(3)327,
25(3)368,
26(1)43,
26(3)196,
27(2)143,
27(3)218,
27(3)270,
27(3)284,
27(4)321,
27(4)334,
28(1)54,
28(2)179,
28(3)203,
28(3)243,
28(3)291,
28(3)313,
28(3)319,
28(3)330,
28(4)391,
28(4)412,
28(4)414,
28(4)417,
28(4)426,
28(5)524,
29(1)52,
29(2)167,
29(3)277,
29(4)368,
29(5)436,
29(6)522,
30(1)80,
30(6)529,
30(6)535,
30(6)565,
31(1)41,
31(5)426,
31(6)490,
31(6)531,
31(6)540,
31(6)565,
32(1)63,
32(1)68,
32(3)212,
32(3)228,
32(4)323,
32(4)351,
32(6)494
- other,
31(3)243,
31(6)496,
31(6)540,
31(6)545,
32(1)29,
32(1)91,
32(2)127,
32(2)142,
32(2)152,
32(2)175,
32(3)262,
32(3)276,
32(5)422,
32(5)445
- processor,
23(2)147,
24(1)14,
24(1)62,
25(1)22,
25(4)423,
27(4)348,
28(1)29,
28(1)34,
28(2)148,
28(3)243,
28(4)357,
29(1)12,
29(4)289,
29(5)390,
29(6)486,
30(2)119,
30(3)214,
30(5)386,
30(5)393,
30(5)404,
30(5)413,
30(5)420,
30(5)433,
30(5)437,
31(1)12,
31(6)540,
31(6)545,
32(1)29,
32(1)91,
32(2)127,
32(2)142,
32(2)152,
32(2)175,
32(3)194,
32(3)276,
32(5)422,
32(5)437,
32(5)445,
32(6)571
- Programming, Metatheory-,
32(2)122,
32(4)290,
32(4)305,
32(4)323
- simulation,
23(2)142,
23(3)233,
24(1)25,
24(2)191,
25(1)84,
25(3)399,
26(2)134,
27(1)72,
27(3)254,
27(4)362,
27(4)368-1,
28(2)138,
28(4)357,
28(5)496,
28(5)498,
29(2)118,
29(2)127,
29(6)522,
30(3)201,
30(3)258,
31(1)9,
31(1)41,
31(2)147,
31(4)364,
31(5)420,
32(1)68,
32(6)541,
32(6)563
- transformation,
23(1)61,
23(2)161,
23(4)344,
24(3)271,
27(4)301,
28(5)530,
29(2)171,
30(1)37,
30(1)43,
30(2)149,
30(6)498,
30(6)512,
31(3)229,
31(3)269,
32(2)127,
32(3)241,
32(5)445
- type,
23(1)66,
24(2)118,
24(4)308,
25(3)289,
25(4)448,
26(4)289,
26(4)366,
27(1)47,
27(3)260,
27(4)310,
28(1)59,
28(2)154,
28(3)298,
29(1)38,
29(3)261,
29(4)340,
29(6)538,
30(1)27,
30(5)404,
30(5)451,
31(2)99,
31(2)110,
31(2)116,
32(4)305,
32(4)312,
32(5)413,
32(6)524,
32(6)541