Abstract :
The paper presents Roy, a language that is statically typed, functional, and had light-weight, readable JavaScript output.
Keywords :
Java; functional languages; program compilers; type theory; Damas-Milner type inference; Javascript; Roy compiler; Roy language; light-weight readable JavaScript output; statically typed functional language; Browsers; Internet; Java; Programming environments; Reactive power; Runtime; Semantics; Ubiquitous computing; JavaScript; Roy; programming languages; static typing;
