Last update: Sun Oct 15 02:16:54 MDT 2017
Return to index directory
P
-
Padget, Julian, 16(3)159--159, 19(1)5--5, 22(1)1--1
-
Padget, Julian, see Basin, David,
see Danvy, Olivier
-
Page, Rex, 26(1)1--2
-
Page, Rex, see Zsók, Viktória
-
Paige, 18(1)7--8, 18(1)9--11, 18(1)13--13
-
Paige, Bob, 16(1)7--13
-
Paige, Robert, 18(1)211--235
-
Paige:2003:RR, 16(1)7--13
-
Paige:2005:NP, 18(1)211--235
-
Palsberg, Jens, 12(3)237--282
-
Palsberg, Jens, see Aiken, Alexander
-
parallel, 16(3)203--251
-
Parameters, 17(1)129--163
-
Pardo, Alberto, 24(1)115--149
-
Pardo:2011:SFR, 24(1)115--149
-
partial, 12(1)105--113, 12(2)203--212, 12(4)377--380, 12(4)381--391,
13(4)355--368, 14(2)101--142, 14(2)173--219, 17(1)7--46,
17(1)47--92, 17(1)93--128, 18(1)51--77, 18(1)211--235, 21(1)5--35,
21(1)37--58, 21(1)193--234
-
particularly, 16(4)379--400
-
Passing, Continuation-, 15(2)181--208, 24(4)387--387
-
passing, Continuation-, 20(3)333--335, 20(4)371--401
-
Passing, Continuation-, 24(3)239--279
-
path, 16(1)15--35, 16(4)341--377, 24(3)207--237
-
pattern, 20(1)37--72
-
Payet, Étienne, 23(1)29--86, see Spoto, Fausto
-
Pearlmutter, Barak A., 21(4)361--376
-
Pearlmutter, Barak A., see Siskind, Jeffrey Mark
-
Peña, R., 16(3)203--251, see Loidl, H.-W.
-
Penrose, Roger, 13(1)83--84
-
Penrose:2000:RCS, 13(1)83--84
-
PEPM2012, 25(1)1--2
-
per, 14(1)59--91, 23(1)87--143
-
Peralta, Julio C., 14(2)143--172
-
Peralta, Julio C., see Gallagher, John P.
-
perceived, 16(4)379--400
-
performance, 14(4)357--386, 16(3)203--251, 18(1)211--235, 20(4)431--460
-
permutation, 19(2)169--195, 19(2)283--304
-
Personal, 13(1)73--74, 22(4)299--303
-
Peter, 22(2)191--195, 22(4)295--298, 22(4)299--303, 22(4)305--312,
22(4)331--332
-
Petri, 17(3)207--243
-
Pettorossi, Alberto, 16(1)5--6, 18(1)5--6, 18(1)121--210, 21(1)193--234,
21(1)235--235
-
Pettorossi, Alberto, see Danvy, Olivier
-
Pettorossi:2005:DEL, 18(1)121--210
-
Pettorossi:2008:TCLa, 21(1)193--234
-
Pettorossi:2008:TCLb, 21(1)235--235
-
Pettyjohn, Greg, 20(4)431--460
-
Pettyjohn, Greg, see Krishnamurthi, Shriram
-
Pfenning, Frank, 24(1)41--80
-
Pfenning, Frank, see Simmons, Robert J.
-
Pitman, K. M., 11(1)7--105
-
Pitman, K. M., see Abelson, H.
-
PLT, 20(4)431--460
-
point, 18(1)51--77, 18(3)371--388, 19(1)101--124
-
Point, Fixed-, 18(3)371--388
-
point, fixed-, 18(3)371--388
-
point, Floating-, 19(1)7--30
-
point, floating-, 16(4)379--400
-
pointer, 18(1)15--49
-
Polymorphic, 6(3)361--380, 12(3)237--282, 13(3)239--278, 16(4)401--401,
19(1)125--162
-
Polymorphism, 19(1)125--162
-
polynomial, 16(4)379--400
-
Polynomial-time, 25(1)3--38
-
Pottier, François, 19(1)125--162
-
Pottier:2006:PTD, 19(1)125--162
-
power, 12(1)47--73, 17(4)297--345
-
Power, John, 19(2)305--337
-
Power, John, see Tanaka, Miki
-
Powerful, 12(1)75--104
-
practice, 16(4)379--400
-
Pragmatic, 17(1)47--92
-
pragmatics, 20(1)161--196
-
pre-condition, 17(1)93--128
-
precision, 19(1)7--30
-
Predicate, 12(1)105--113, 16(4)379--400
-
predicates., 16(4)379--400
-
predictable, 17(1)47--92
-
presence, 26(1)63--84
-
presented, 16(4)379--400
-
preserving, Type-, 19(1)125--162
-
Presheaf, 19(2)283--304
-
(pre)sheaves, 19(2)283--304
-
Priebe, S., 16(3)203--251
-
Priebe, S., see Loidl, H.-W.
-
principled, 22(2)155--189
-
printf, 22(3)275--291, 24(4)311--340
-
Prize, 22(4)305--312
-
problem, 22(3)275--291
-
process, 12(4)377--380, 12(4)381--391, 18(3)327--354, 24(4)341--385
-
product, 23(3)337--370
-
productivity, 18(1)211--235
-
program, 12(4)309--335, 13(3)161--178, 14(1)35--57, 14(1)59--91,
14(2)143--172, 15(1)91--131, 16(1)63--92, 16(4)297--339,
16(4)341--377, 16(4)379--400, 17(1)7--46, 17(1)47--92, 17(1)93--128,
17(1)129--163, 17(4)297--345, 18(1)121--210, 18(1)211--235,
18(3)245--269, 19(1)101--124, 20(3)237--255, 21(1)5--35,
21(1)37--58, 21(1)59--88, 21(1)119--146, 21(1)147--192,
21(1)193--234, 21(1)235--235, 21(4)377--409, 24(1)41--80,
24(1)115--149, 24(4)281--309, 25(1)39--84
-
program, Imperative-, 21(1)37--58
-
programmable, 21(1)89--118
-
programmer, 16(4)379--400
-
programming, 11(4)363--397, 13(1)7--9, 13(1)11--49, 13(1)51--55,
16(1)37--62, 16(3)203--251, 16(4)379--400, 17(1)7--46,
17(3)207--243, 18(1)121--210, 19(2)197--230, 20(1)73--122,
20(3)257--270, 21(1)89--118, 21(1)147--192, 21(1)193--234,
22(1)81--111, 22(2)155--189, 23(3)337--370, 23(4)433--463,
23(4)465--487, 24(4)341--385
-
programming;, Meta-, 21(1)5--35
-
programming, meta-, 22(2)115--144
-
Programming-Language, 13(1)89--101
-
prohibitively, 16(4)379--400
-
Proietti, Maurizio, 18(1)121--210, 21(1)193--234, 21(1)235--235
-
Proietti, Maurizio, see Pettorossi, Alberto
-
project, 25(2)209--253
-
Projection, 14(2)173--219
-
prompt, 20(4)371--401
-
proof, 14(4)387--409, 15(1)57--90, 15(4)273--300, 23(2)145--166,
24(3)191--206
-
proof-theoretic, 20(4)403--429
-
propagation, 19(1)7--30
-
Proposal, 18(1)211--235
-
protocol, 14(4)309--356, 20(1)3--35, 20(1)123--160
-
Proving, 21(1)59--88
-
Pruning, 24(4)281--309
-
Pseudo-distributive, 19(2)305--337
-
Pseudo-monad, 19(2)305--337
-
Puebla, Germán, 24(1)1--2, see Lawall, Julia
-
Pure, 13(3)217--237
-
purely, 24(1)151--189
-
push-value:, Call-by-, 19(4)377--414
-
push-value;, Call-by-, 19(4)377--414