Works matching IS 09567968 AND DT 2021 AND VI 31 AND IP 1/2


Results: 29
    1

    Cogent: uniqueness types and certifying compilation.

    Published in:
    Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S095679682100023X
    By:
    • O'CONNOR, LIAM;
    • CHEN, ZILIN;
    • RIZKALLAH, CHRISTINE;
    • JACKSON, VINCENT;
    • AMANI, SIDNEY;
    • KLEIN, GERWIN;
    • MURRAY, TOBY;
    • SEWELL, THOMAS;
    • KELLER, GABRIELE
    Publication type:
    Article
    2
    3
    4
    5

    A greedy algorithm for dropping digits.

    Published in:
    Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000198
    By:
    • BIRD, RICHARD;
    • MU, SHIN-CHENG
    Publication type:
    Article
    6

    Taming the Merge Operator.

    Published in:
    Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000186
    By:
    • HUANG, XUEJING;
    • ZHAO, JINXU;
    • OLIVEIRA, BRUNO C. D. S.
    Publication type:
    Article
    7
    8
    9
    10

    PhD Abstracts.

    Published in:
    2021
    By:
    • HUTTON, GRAHAM
    Publication type:
    Abstract
    11
    12

    Gradual type theory.

    Published in:
    Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000125
    By:
    • NEW, MAX S.;
    • LICATA, DANIEL R.;
    • AHMED, AMAL
    Publication type:
    Article
    13
    14
    15
    16

    How to design co-programs.

    Published in:
    Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000113
    By:
    • GIBBONS, JEREMY
    Publication type:
    Article
    17
    18

    Explainable dynamic programming.

    Published in:
    Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000083
    By:
    • ERWIG, MARTIN;
    • KUMAR, PRASHANT
    Publication type:
    Article
    19
    20
    21
    22
    23

    Composable data visualizations.

    Published in:
    Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796821000046
    By:
    • PETRICEK, TOMAS
    Publication type:
    Article
    24

    PhD Abstracts.

    Published in:
    Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796820000301
    By:
    • HUTTON, GRAHAM
    Publication type:
    Article
    25
    26
    27
    28
    29