Behavioral Types in Programming Languages.
Davide AnconaViviana BonoMario BravettiJoana CamposGiuseppe CastagnaPierre-Malo DeniélouSimon J. GayNils GesbertElena GiachinoRaymond HuEinar Broch JohnsenFrancisco MartinsViviana MascardiFabrizio MontesiRumyana NeykovaNicholas NgLuca PadovaniVasco T. VasconcelosNobuko YoshidaPublished in: Found. Trends Program. Lang. (2016)
Keyphrases
- programming language
- object oriented
- general purpose
- software engineering
- lambda calculus
- strongly typed
- programming environment
- denotational semantics
- logic programming
- specification language
- semantic data models
- language constructs
- data abstraction
- high level
- database languages
- computer programs
- program code
- artificial intelligence