Fully abstract compilation to JavaScript.

Cédric Fournet Nikhil Swamy Juan Chen Pierre-Évariste Dagand Pierre-Yves Strub Benjamin Livshits

Published in: POPL (2013)

Keyphrases

web applications
website
data sets
web browser
higher level
open source
database systems
low level
machine learning
database
expert systems
high level
computer vision
data mining
web server
databases
application development