Pages that link to "Ur (programming language)"

The following pages link to Ur (programming language):

Showing 44 items.

• Ur/Web (redirect page) ‎ (links)
• Thierry Coquand ‎ (links)
• Futhark (programming language) ‎ (links)
• Gérard Huet ‎ (links)
• OCaml ‎ (links)
• Opa (programming language) ‎ (links)
• Servant (web framework) ‎ (links)
• LEGO (proof assistant) ‎ (links)
• Caml ‎ (links)
• List of programming languages by type ‎ (links)
• Reason (programming language) ‎ (links)
• Isabelle (proof assistant) ‎ (links)
• HOL (proof assistant) ‎ (links)
• Logic for Computable Functions ‎ (links)
• Liquid Haskell ‎ (links)
• Haxe ‎ (links)
• MTASC ‎ (links)
• ATS (programming language) ‎ (links)
• MacroML ‎ (links)
• QuickCheck ‎ (links)
• Conor McBride ‎ (links)
• John Hughes (computer scientist) ‎ (links)
• FFTW ‎ (links)
• F Sharp (programming language) ‎ (links)
• Yhc ‎ (links)
• HaXml ‎ (links)
• Yesod (web framework) ‎ (links)
• Haddock (software) ‎ (links)
• Haskell ‎ (links)
• Fudgets ‎ (links)
• Curry (programming language) ‎ (links)
• Alice (programming language) ‎ (links)
• Don Sannella ‎ (links)
• Elm (programming language) ‎ (links)
• Stack (Haskell) ‎ (links)
• Philip Wadler ‎ (links)
• Bluespec ‎ (links)
• Paul Hudak ‎ (links)
• Extended ML ‎ (links)
• English Wikipedia @ Freddythechick:Articles for deletion/Ur (programming language) ‎ (links)
• English Wikipedia @ Freddythechick:WikiProject Computing/Article alerts/Archive 3 ‎ (links)
• English Wikipedia @ Freddythechick:WikiProject Software/Article alerts/Archive 3 ‎ (links)
• Template:ML programming ‎ (links)
• Template:Haskell programming ‎ (links)