DOT calculus

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf process calculus
gptkbp:designedFor modeling object-oriented features
gptkbp:field gptkb:programming_language
computer science
https://www.w3.org/2000/01/rdf-schema#label DOT calculus
gptkbp:influencedBy gptkb:lambda_calculus
pi calculus
gptkbp:introducedIn 2016
gptkbp:notableFor supporting dependent object types
gptkbp:proposedBy gptkb:Martin_Odersky
gptkb:Nada_Amin
Lukas Rytz
gptkbp:publishedIn POPL 2016
gptkbp:relatedTo object-oriented programming
type systems
gptkbp:usedIn theory of Scala programming language
gptkbp:bfsParent gptkb:Typed_Scala
gptkbp:bfsLayer 7