Works matching DE "RECURSIVE programming"


Results: 103
    1
    2
    3
    4
    5

    INTERPROCEDURAL INDUCTION VARIABLE ANALYSIS.

    Published in:
    International Journal of Foundations of Computer Science, 2003, v. 14, n. 3, p. 405, doi. 10.1142/S0129054103001819
    By:
    • Tang, Peiyi;
    • Yew, Pen-Chung
    Publication type:
    Article
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42

    Work it, wrap it, fix it, fold it.

    Published in:
    Journal of Functional Programming, 2014, v. 24, n. 1, p. 113, doi. 10.1017/S0956796814000045
    By:
    • SCULTHORPE, NEIL;
    • HUTTON, GRAHAM
    Publication type:
    Article
    43

    Factorising folds for faster functions.

    Published in:
    Journal of Functional Programming, 2010, v. 20, n. 3/4, p. 353, doi. 10.1017/S0956796810000122
    By:
    • HUTTON, GRAHAM;
    • JASKELIOFF, MAURO;
    • GILL, ANDY
    Publication type:
    Article
    44
    45
    46

    A LIGHT MODALITY FOR RECURSION.

    Published in:
    Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 1, p. 1, doi. 10.23638/LMCS-15(1:8)2019
    By:
    • SEVERI, PAULA
    Publication type:
    Article
    47
    48
    49
    50