Pith. sign in

Nordic Journal of Computing 10(2), pp

Marco Carbone & Sergio Maffeis ( · 2003 · DOI 10.1016/s1571-0661(05)80361-5

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
open at publisher browse 1 citing papers

fields

cs.PL 1

years

2024 1

verdicts

ACCEPT 1

representative citing papers

Typing Composite Subjects

cs.PL · 2024-11-20 · accept · novelty 5.0

A tree-shaped type system for eπ's composite subjects is proved sound, and exactly matches the 'expectable' type system of a class-based while-language under encoding.

citing papers explorer

Showing 1 of 1 citing paper.

  • Typing Composite Subjects cs.PL · 2024-11-20 · accept · none · ref 4

    A tree-shaped type system for eπ's composite subjects is proved sound, and exactly matches the 'expectable' type system of a class-based while-language under encoding.