Found: 4

Select item for more details and to access through your institution.

  • The computational content of atomic polymorphism.

    Published in:
    Logic Journal of the IGPL, 2019, v. 27, n. 5, p. 625, doi. 10.1093/jigpal/jzy076
    By:
    • Ferreira, Gilda;
    • Vasconcelos, Vasco T
    Publication type:
    Article

  • 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

  • MODULAR SESSION TYPES FOR OBJECTS.

    Published in:
    Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:12)2015
    By:
    • GAY, SIMON J.;
    • GESBERT, NILS;
    • RAVARA, ANTÓNIO;
    • VASCONCELOS, VASCO T.
    Publication type:
    Article

  • Linear type theory for asynchronous session types.

    Published in:
    Journal of Functional Programming, 2010, v. 20, n. 1, p. 19, doi. 10.1017/S0956796809990268
    By:
    • Gay, Simon J.;
    • Vasconcelos, Vasco T.
    Publication type:
    Article