Collaborated with:
R.Neykova R.Hu N.Yoshida
Talks about:
distribut (1) protocol (1) session (1) generat (1) provid (1) compil (1) refin (1) type (1) time (1) api (1)
Person: Fahd Abdeljallal
DBLP: Abdeljallal:Fahd
Contributed to:
Wrote 1 papers:
- CC-2018-NeykovaHYA #api #distributed #f# #generative #protocol
- A session type provider: compile-time API generation of distributed protocols with refinements in F# (RN, RH, NY, FA), pp. 128–138.