Works matching IS 09567968 AND DT 2019 AND VI 29

Results: 20
    1

    POPLMark reloaded: Mechanizing proofs by logical relations.

    Published in:
    Journal of Functional Programming, 2019, v. 29, p. 1, doi. 10.1017/S0956796819000170
    By:
    • ABEL, ANDREAS;
    • ALLAIS, GUILLAUME;
    • HAMEER, ALIYA;
    • PIENTKA, BRIGITTE;
    • MOMIGLIANO, ALBERTO;
    • SCHÄFER, STEVEN;
    • STARK, KATHRIN
    Publication type:
    Article
    2

    Gradual session types.

    Published in:
    Journal of Functional Programming, 2019, v. 29, p. 1, doi. 10.1017/S0956796819000169
    By:
    • IGARASHI, ATSUSHI;
    • THIEMANN, PETER;
    • TSUDA, YUYA;
    • VASCONCELOS, VASCO T.;
    • WADLER, PHILIP
    Publication type:
    Article
    3
    4

    A relational logic for higher-order programs.

    Published in:
    Journal of Functional Programming, 2019, v. 29, p. 1, doi. 10.1017/S0956796819000145
    By:
    • AGUIRRE, ALEJANDRO;
    • BARTHE, GILLES;
    • GABOARDI, MARCO;
    • GARG, DEEPAK;
    • STRUB, PIERRE-YVES
    Publication type:
    Article
    5

    PhD Abstracts.

    Published in:
    2019
    By:
    • HUTTON, GRAHAM
    Publication type:
    Abstract
    6

    Constructive Galois Connections.

    Published in:
    Journal of Functional Programming, 2019, v. 29, p. 1, doi. 10.1017/S0956796819000066
    By:
    • DARAIS, DAVID;
    • HORN, DAVID VAN
    Publication type:
    Article
    7
    8
    9
    10
    11
    12

    Pure iso-type systems.

    Published in:
    Journal of Functional Programming, 2019, v. 29, p. 1, doi. 10.1017/S0956796819000108
    By:
    • YANG, YANPENG;
    • OLIVEIRA, BRUNO C. D. S.
    Publication type:
    Article
    13
    14

    How to find a fake coin.

    Published in:
    Journal of Functional Programming, 2019, v. 29, p. 1, doi. 10.1017/S0956796819000030
    By:
    • BIRD, RICHARD S.
    Publication type:
    Article
    15

    The verified CakeML compiler backend.

    Published in:
    Journal of Functional Programming, 2019, v. 29, p. 1, doi. 10.1017/S0956796818000229
    By:
    • KIAM TAN, YONG;
    • MYREEN, MAGNUS O.;
    • KUMAR, RAMANA;
    • FOX, ANTHONY;
    • OWENS, SCOTT;
    • NORRISH, MICHAEL
    Publication type:
    Article
    16

    COCHIS: Stable and coherent implicits.

    Published in:
    Journal of Functional Programming, 2019, v. 29, p. 1, doi. 10.1017/S0956796818000242
    By:
    • SCHRIJVERS, TOM;
    • OLIVEIRA, BRUNO C.D.S.;
    • WADLER, PHILIP;
    • MARNTIROSIAN, KOAR
    Publication type:
    Article
    17
    18
    19

    PhD Abstracts.

    Published in:
    2019
    By:
    • HUTTON, GRAHAM
    Publication type:
    Abstract
    20

    How to evaluate the performance of gradual type systems.

    Published in:
    Journal of Functional Programming, 2019, v. 29, p. 1, doi. 10.1017/S0956796818000217
    By:
    • GREENMAN, BEN;
    • TAKIKAWA, ASUMU;
    • NEW, MAX S.;
    • FELTEY, DANIEL;
    • FINDLER, ROBERT BRUCE;
    • VITEK, JAN;
    • FELLEISEN, MATTHIAS
    Publication type:
    Article