Showing 50 items.

• Document Object Model(links |edit)
• JavaScript(links |edit)
• LiveScript (programming language)(links |edit)
• ML (programming language)(links |edit)
• Timeline of programming languages(links |edit)
• OCaml(links |edit)
• Poplog(links |edit)
• Robin Milner(links |edit)
• Standard ML(links |edit)
• List of programming languages(links |edit)
• Generational list of programming languages(links |edit)
• Isabelle (proof assistant)(links |edit)
• HOL (proof assistant)(links |edit)
• Logic for Computable Functions(links |edit)
• F Sharp (programming language)(links |edit)
• Algebraic data type(links |edit)
• Rocq(links |edit)
• History of programming languages(links |edit)
• Microsoft Visual Studio Express(links |edit)
• Extended ML(links |edit)
• MLton(links |edit)
• Modulo(links |edit)
• Ajax (programming)(links |edit)
• Xavier Leroy(links |edit)
• Reason (disambiguation)(links |edit)
• List of JavaScript engines(links |edit)
• Lennart Augustsson(links |edit)
• Standard ML of New Jersey(links |edit)
• Dependent ML(links |edit)
• Concurrent ML(links |edit)
• Twelf(links |edit)
• Camlp4(links |edit)
• SLAM project(links |edit)
• Caml(links |edit)
• MacroML(links |edit)
• Don Sannella(links |edit)
• Fastest Fourier Transform in the West(links |edit)
• Damien Doligez(links |edit)
• GeneWeb(links |edit)
• JoCaml(links |edit)
• Source-to-source compiler(links |edit)
• Microsoft Script Debugger(links |edit)
• HOL Light(links |edit)
• Google Web Toolkit(links |edit)
• Haxe(links |edit)
• MTASC(links |edit)
• Rescript(links |edit)
• Frank Pfenning(links |edit)
• Matita(links |edit)
• TypeScript(links |edit)