Ur (programming language) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Ur (programming language)" in English language version.

Last modified: 20:57:46, 1 March 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

83impredicative.com

low place

low place

22enn.github.io

low place

low place

476^th place

340^th place

1,712^th place

1,373^rd place

11sourceforge.net

1,842^nd place

1,520^th place

low place

low place

chlipala.net (Global: low place; English: low place)

adam.chlipala.net

Chlipala, Adam (2006). "Scrap Your Web Application Boilerplate, or Metaprogramming with Row Types". Adam.Chlipala.net.

enn.github.io (Global: low place; English: low place)

Chlipala, Adam (January 2015). "The Ur/Web Manual – Project files". GitHub. Retrieved 8 January 2015.
The Ur/Web Manual - The Structure of Web Applications

impredicative.com (Global: low place; English: low place)

"The Ur Programming Language Family". Impredicative.com/ur. Retrieved 3 April 2016.
Ur language demo programs
Unexpected type error: "Substitution in constructor is blocked by a too-deep unification variable"

mit.edu (Global: 476^th place; English: 340^th place)

dspace.mit.edu

Chlipala, Adam (January 2015). "Ur/Web: A Simple Model for Programming the Web". MIT / Association for Computing Machinery (ACM). Retrieved 5 January 2015.

news.mit.edu

Hardesty, Larry (December 23, 2014). "Taking the grunt work out of Web development". Massachusetts Institute of Technology: MIT News. Retrieved 29 December 2016.

reddit.com (Global: 1,712^th place; English: 1,373^rd place)

UrWeb is out of beta

sourceforge.net (Global: 1,842^nd place; English: 1,520^th place)

laconic.sourceforge.net

Chlipala, Adam (2006). "The Laconic programming language family". SourceForge.