Article,

A Java-like calculus with heterogeneous coeffects.

, , , and .
Theor. Comput. Sci., (September 2023)

Meta data

Tags

Users

  • @dblp

Comments and Reviews