Misplaced Pages

The following pages link to Ur (programming language)

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 50 items.

• ML (programming language) (links | edit)
• OCaml (links | edit)
• Haskell Curry (links | edit)
• Poplog (links | edit)
• Robin Milner (links | edit)
• Standard ML (links | edit)
• List of programming languages by type (links | edit)
• Andrew D. Gordon (links | edit)
• Isabelle (proof assistant) (links | edit)
• HOL (proof assistant) (links | edit)
• Logic for Computable Functions (links | edit)
• F Sharp (programming language) (links | edit)
• HaXml (links | edit)
• Curry (programming language) (links | edit)
• Stack (Haskell) (links | edit)
• Paradox (theorem prover) (links | edit)
• Template Haskell (links | edit)
• Hugs (interpreter) (links | edit)
• Glasgow Haskell Compiler (links | edit)
• Coq (software) (links | edit)
• UR (links | edit)
• Fudgets (links | edit)
• Extended ML (links | edit)
• MLton (links | edit)
• Pugs (compiler) (links | edit)
• Xavier Leroy (links | edit)
• Audrey Tang (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)
• Darcs (links | edit)
• SLAM project (links | edit)
• Caml (links | edit)
• MacroML (links | edit)
• Joe Stoy (links | edit)
• Don Sannella (links | edit)
• Philip Wadler (links | edit)
• FFTW (links | edit)
• Damien Doligez (links | edit)
• GeneWeb (links | edit)
• Simon Peyton Jones (links | edit)
• Richard Bird (computer scientist) (links | edit)
• JoCaml (links | edit)
• Concurrent Haskell (links | edit)
• Erik Meijer (computer scientist) (links | edit)
• Agda (programming language) (links | edit)
• HOL Light (links | edit)