Substructural Meta-Theory of a Type-Safe Language for Web Programming.
Iliano CervesatoThierry SansPublished in: Fundam. Informaticae (2014)
Keyphrases
- programming language
- strongly typed
- object oriented programming
- programming environment
- oriented programming
- web applications
- web development
- meta level
- scripting language
- website
- type checking
- formal theory
- web data
- multilingual documents
- formal languages
- web mining
- web pages
- high level
- computer programming
- web documents
- language learning
- semantic web
- information sources
- mathematical theory
- theoretical framework
- web users
- owl ontologies
- object oriented
- computational model
- hands on guide
- social media
- functional programming
- error handling
- propositional calculus
- linked data