Dependent Types for Safe and Secure Web Programming.
Simon FowlerEdwin C. BradyPublished in: IFL (2013)
Keyphrases
- programming language
- website
- hands on guide
- web applications
- web mining
- web development
- semantic web
- neural network
- web technologies
- web scale
- web documents
- multi party
- linked data
- web data
- security issues
- data mining
- software engineering
- development environment
- web resources
- user experience
- lightweight
- access control
- e learning
- end users