Last update: Sun Oct 15 02:16:54 MDT 2017
Return to index directory
C
-
C, 16(4)379--400, 24(3)239--279, 24(4)387--387
-
Calculating, 14(2)261--300
-
calculation, 19(1)7--30, 22(4)331--332, 22(4)333--359
-
calculi, 13(1)89--101, 19(2)283--304
-
calculus, 11(2)177--208, 11(4)405--439, 12(1)105--113, 13(3)217--237,
13(3)239--278, 17(4)347--394, 19(2)169--195, 19(4)345--376,
20(1)37--72, 20(3)231--235, 20(3)271--293, 20(3)295--318,
20(3)319--332, 21(4)411--442, 23(2)191--226
-
Calculus, Lambda-, 15(1)57--90
-
calculus, Lambda-, 20(3)199--207, 20(3)333--335
-
calculus;, Lambda-, 19(4)377--414
-
calculus, lambda-, 20(3)199--207, 20(3)319--332
-
calculus;, lambda-, 18(3)371--388
-
Calculus, Lambda-{I}-, 16(3)253--285
-
Call, 20(3)271--293
-
call-by-name, 19(4)377--414, 20(3)199--207
-
Call-by-need, 20(3)257--270
-
Call-by-push-value, 19(4)377--414
-
Call-by-Value, 15(2)235--264
-
call-by-value, 19(4)377--414, 22(1)3--66
-
callash, 12(1)47--73, 12(1)75--104
-
Callcc, 20(4)403--429
-
calling-context, 23(3)275--313
-
calm, 23(2)227--271
-
Cambridge, 13(1)69--70, 13(1)85--88
-
Capper, John, 25(2)275--310
-
Capper:2012:STS, 25(2)275--310
-
Cartesian, 23(3)337--370
-
case, 16(4)379--400
-
category, 19(2)283--304
-
CC, 12(1)75--104
-
cc, 12(1)47--73
-
Certifying, 12(4)337--375
-
Cervesato, Iliano, 20(1)3--35
-
Cervesato:2007:RMC, 20(1)3--35
-
Chadwick, Bryan, 23(4)433--463
-
Chadwick:2010:FAG, 23(4)433--463
-
change, 23(2)227--271
-
check, 24(1)81--114
-
checking, 17(3)173--206, 20(1)161--196, 24(1)81--114
-
Chen, Kung, 24(1)151--189
-
Chen:2011:SEL, 24(1)151--189
-
Chin, Wei-Ngan, 14(2)261--300, 17(1)5--6
-
Chin:2001:CST, 14(2)261--300
-
Chin:2004:E, 17(1)5--6
-
Chirokoff, Sandrine, 12(4)309--335
-
Chirokoff:1999:CPD, 12(4)309--335
-
Christensen, S{\o}ren, 17(3)207--243,
see Kristensen, Lars Michael
-
Christopher, 13(1)51--55, 13(1)65--67, 13(1)73--74, 13(1)83--84,
13(1)85--88, 13(1)115--117
-
Chroboczek, Juliusz, 24(3)239--279, 24(4)387--387
-
Chroboczek, Juliusz, see Kerneis, Gabriel
-
circuit, 22(1)67--80
-
circular, 17(1)129--163, 24(1)115--149
-
circumstances, 16(4)379--400
-
Cirstea, Horatiu, 19(4)345--376, 20(1)37--72
-
Cirstea, Horatiu, see Bertolissi, Clara
-
Cirstea:2007:CEC, 20(1)37--72
-
Clark, Tony, 22(4)331--332
-
Clark., 22(4)333--359
-
Clark:2009:SAC, 22(4)331--332
-
Class, 15(1)7--55
-
Class, First-, 12(1)7--45
-
class, first-, 23(2)145--166
-
classes, 19(1)125--162
-
classical, 19(2)169--195, 20(4)403--429
-
Clerici, Silvia, 26(1)29--62
-
Clerici:2013:GIT, 26(1)29--62
-
Cline, Ken, 11(2)209--225
-
Cline, Ken, see Biagioni, Edoardo
-
Clinger, William D., 12(1)7--45
-
Clinger:1999:ISF, 12(1)7--45
-
CLOS, 22(1)81--111
-
Closure, 19(1)125--162
-
code, 12(4)337--375, 16(4)379--400, 21(1)37--58
-
code;, byte-, 18(3)271--298
-
coinduction, 24(3)191--206
-
collection, 14(4)357--386, 18(3)271--298, 19(4)415--463
-
Coloured, 17(3)207--243
-
Combinator, 18(3)371--388
-
combinators, 18(3)371--388
-
combinatory, 19(4)345--376
-
Combining, 12(4)309--335
-
common, 16(4)379--400
-
communication, 26(1)3--28
-
Compact, 18(3)271--298
-
Comparing, 15(2)141--160, 16(3)203--251
-
compilation, 12(4)337--375, 13(3)161--178, 16(4)379--400, 19(1)125--162,
20(3)237--255, 22(1)3--66
-
compiler, 13(1)85--88, 17(3)173--206, 19(2)197--230
-
Compiler, Compiler-, 12(4)381--391
-
Compiler-Compiler, 12(4)381--391
-
compiling, 12(1)105--113, 24(3)239--279, 24(4)387--387
-
Completeness, 15(1)57--90
-
completing, 25(1)127--163
-
Composable, 11(3)281--343
-
compressed, 25(1)39--84
-
computation, 12(4)377--380, 12(4)381--391, 16(4)379--400, 17(3)207--243,
20(3)295--318, 25(1)3--38
-
computational, 16(1)93--149, 16(4)379--400, 17(1)7--46, 19(4)377--414
-
computer, 14(1)35--57, 16(4)379--400, 22(4)295--298
-
computing, 12(2)171--201, 18(3)355--370, 22(4)333--359
-
Concepts, 13(1)7--9, 13(1)11--49, 13(1)77--81, 13(1)115--117
-
concretization, 19(1)125--162
-
concurrent, 17(3)207--243
-
condition, pre-, 17(1)93--128
-
Conditional, 21(1)59--88
-
Conference, 20(4)431--460
-
connection, 18(1)79--120
-
Consel, Charles, 12(4)309--335, 13(3)161--178, 17(1)47--92
-
Consel, Charles, see Chirokoff, Sandrine,
see Le Meur, Anne-Françoise,
see Thibault, Scott
-
consistency, 24(1)81--114
-
constraint, 20(1)37--72, 20(1)73--122
-
Constraint, Output-, 17(1)93--128
-
construct, 15(2)141--160, 18(3)299--326
-
construction, 13(4)315--353, 19(2)197--230
-
Context, 12(2)171--201, 19(2)305--337
-
context, calling-, 23(3)275--313
-
Context-sensitive, 23(3)275--313
-
contextual, 17(4)347--394
-
continuation, 12(1)7--45, 12(1)47--73, 12(1)105--113, 13(1)131--133,
13(1)135--152, 15(2)209--234, 17(4)277--295, 18(3)327--354,
20(3)319--332, 20(4)339--369, 20(4)403--429, 20(4)431--460,
22(3)233--273, 22(3)275--291, 24(3)239--279, 24(4)387--387
-
Continuation--Passing, 24(4)387--387
-
Continuation-Based, 12(3)283--283, 12(3)285--299
-
Continuation-Passing, 15(2)181--208, 24(3)239--279
-
Continuation-passing, 20(3)333--335, 20(4)371--401
-
continuity, 18(1)15--49
-
contracts, 25(1)85--125
-
Contributions, 13(1)89--101
-
control, 15(2)141--160, 18(1)15--49, 20(3)199--207, 20(4)339--369,
20(4)371--401, 21(1)5--35, 21(1)119--146
-
convergence, 18(1)15--49
-
conversion, 6(3)361--380, 15(2)161--180, 16(4)401--401, 19(1)125--162
-
Coquand, Catarina, 15(1)57--90
-
Coquand:2002:FPS, 15(1)57--90
-
correct, 21(1)193--234, 21(1)235--235
-
correctness, 15(4)273--300, 17(3)173--206, 20(3)231--235, 21(1)193--234
-
correspondence, 20(3)199--207
-
corrigendum, 6(3)361--380, 16(4)401--401
-
Cost--Augmented, 17(1)7--46
-
costs, 17(1)7--46
-
CPL, 13(1)69--70, 13(1)85--88
-
CPS, 6(3)361--380, 11(2)145--175, 12(2)125--170, 15(2)141--160,
15(2)161--180, 16(4)401--401, 20(4)339--369, 20(4)371--401
-
CPU, 21(1)119--146
-
Crégut, Pierre, 20(3)209--230
-
Cregut:2007:SRV, 20(3)209--230
-
cryptographic, 20(1)123--160
-
cryptoprotocol, 20(1)3--35
-
Cube, 12(2)125--170
-
Curry, 18(3)371--388
-
Curry--Howard, 20(3)199--207
-
cut, 17(1)129--163
-
Cut, Short-, 15(4)273--300
-
cycle, 26(1)63--84