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:
- Publication type:
- Article
Gradual session types.
- Published in:
- Journal of Functional Programming, 2019, v. 29, p. 1, doi. 10.1017/S0956796819000169
- By:
- 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:
- 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:
- Publication type:
- Article