Session Types and Concurrency in Programming Languages Publication Trend The graph below shows the total number of publications each year in Session Types and Concurrency in Programming Languages.

Study fundamental concepts on which programming of languages are based, and execution models supporting them. Topics include values, variables, bindings, type systems, control structures, exceptions, ...

Gradual typing has emerged as a compelling approach to reconcile the strengths of static and dynamic type systems. By permitting programmers to incrementally annotate code, it enables early ...