Pages that link to "Don Syme"

Showing 50 items.

• 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)
• Isabelle (proof assistant) (links | edit)
• HOL (proof assistant) (links | edit)
• Logic for Computable Functions (links | edit)
• F Sharp (programming language) (links | edit)
• Syme (links | edit)
• Coq (software) (links | edit)
• Extended ML (links | edit)
• MLton (links | edit)
• Xavier Leroy (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)
• FFTW (links | edit)
• Damien Doligez (links | edit)
• GeneWeb (links | edit)
• JoCaml (links | edit)
• HOL Light (links | edit)
• Haxe (links | edit)
• MTASC (links | edit)
• Frank Pfenning (links | edit)
• Matita (links | edit)
• Benevolent dictator for life (links | edit)
• Gérard Huet (links | edit)
• List of people from Toowoomba (links | edit)
• ATS (programming language) (links | edit)
• List of programming language researchers (links | edit)
• Marionnet (links | edit)
• Frama-C (links | edit)
• Bounded quantification (links | edit)
• Haskell (links | edit)
• Alice (programming language) (links | edit)
• Astrée (static analysis) (links | edit)
• Thierry Coquand (links | edit)
• LEGO (proof assistant) (links | edit)
• WebSharper (links | edit)
• F* (programming language) (links | edit)
• Alt-Ergo (links | edit)