Dependently Typed Web Client Applications - FRP in Agda in HTML5.
Alan JeffreyPublished in: PADL (2013)
Keyphrases
- web pages
- website
- higher order
- web resources
- web data
- semantic web
- web documents
- web development
- dynamic content
- web scale
- client server
- information sources
- peer to peer
- web applications
- information extraction
- user experience
- web content
- web users
- link analysis
- database
- semi structured
- web server
- web mining
- web technologies
- data extraction
- web information