typing discipline (Q122624423)
category of type systems based on fundamental properties and behavior
Language:
other details
aliases type system paradigm
 typing paradigm
 type discipline
description category of type systems based on fundamental properties and behavior