Типовая система
otherentity
ID: typesystem
Related Papers
Ambiguous propositions typed
Ambiguous propositions are analyzed in a type system where disambiguation is effected during assembly (i.e. by coer- cion). Ambiguity is introduced through a layer of types that are underspecified relative …...