Roy: A Statically Typed, Functional Language for JavaScript.

Published in: IEEE Internet Comput. (2012)

Keyphrases

functional language
functional programming
programming language
web applications
proof planning
object identity
object oriented programming
high level
software engineering
databases
knowledge base
database systems
general purpose
logic programs