Ur (programming language) (English Wikipedia)

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

refsWebsite

Global rank English rank

3impredicative.com

low place

low place

low place

low place

415^th place

327^th place

1,082^nd place

764^th place

1sourceforge.net

1,669^th place

1,290^th place

low place

low place

chlipala.net

adam.chlipala.net

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

enn.github.io

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

"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

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

UrWeb is out of beta

sourceforge.net

laconic.sourceforge.net

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