Imperial College London
Professor Nobuko Yoshida

ProfessorNobukoYoshida

Faculty of Engineering, Department of Computing

Academic Visitor
 
 
 
//

Contact

 

+44 (0)20 7594 8240n.yoshida Website

 
 
//

Location

 

556Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Imai:2017:10.1007/978-3-319-59746-1_6,
author = {Imai, K and Yoshida, N and Yuen, S},
doi = {10.1007/978-3-319-59746-1_6},
pages = {99--118},
publisher = {Springer},
title = {Session-ocaml: a session-based library with polarities and lenses},
url = {http://dx.doi.org/10.1007/978-3-319-59746-1_6},
year = {2017}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - We propose session-ocaml, a novel library for session-typed concurrent/distributed programming in OCaml. Our technique solely relies on parametric polymorphism, which can encode core session type structures with strong static guarantees. Our key ideas are: (1) polarised session types, which give an alternative formulation of duality enabling OCaml to automatically infer an appropriate session type in a session with a reasonable notational overhead; and (2) a parameterised monad with a data structure called ‘slots’ manipulated with lenses, which can statically enforce session linearity and delegations. We show applications of session-ocaml including a travel agency usecase and an SMTP protocol.
AU  - Imai,K
AU  - Yoshida,N
AU  - Yuen,S
DO  - 10.1007/978-3-319-59746-1_6
EP  - 118
PB  - Springer
PY  - 2017///
SN  - 0302-9743
SP  - 99
TI  - Session-ocaml: a session-based library with polarities and lenses
UR  - http://dx.doi.org/10.1007/978-3-319-59746-1_6
UR  - http://hdl.handle.net/10044/1/48413
ER  -
Download