Login / Signup
An optimizing compiler for a purely functional web-application language.
Adam Chlipala
Published in:
ICFP (2015)
Keyphrases
</>
web applications
programming language
application development
web browser
web application development
flow diagram
end users
learning rails
web services
application developers
general purpose
web interface
model view controller
business applications
web based systems
multimedia
information systems