Login / Signup
Fahd Abdeljallal
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Cooperative
Integrity Constraints
Lightweight
Concurrency Control Protocols
Top Venues
CC
</>
Publications
</>
Rumyana Neykova
,
Raymond Hu
,
Nobuko Yoshida
,
Fahd Abdeljallal
A session type provider: compile-time API generation of distributed protocols with refinements in F#.
CC
(2018)