Feedback
Please sign in to view more complete and fresh data.

lambda-the-ultimate.org

45 / 100
DomainScore
56 / 100
Ahrefs URL Rating
53 / 100
Majestic Trust Flow
70 / 100
Ahrefs Domain Rating
2967
Ahrefs Referring Domains
0 / 24
Spam and Blacklists flags
Most common dofollow anchors
Lambda the Ultimate
Lambda The Ultimate
lambda the ultimate
Most common country
us country flag
Most common TLD
.com
263
Unique Backlinks
108
Unique Domains
12
Lost Backlinks

High 5%

Mid 19%

Low 75%

Quality Distribution

Backlinks

Most common dofollow anchors

Anchor No. Domains
Lambda the Ultimate 27
Lambda The Ultimate 6
lambda the ultimate 2
[image] 2
LtU article 2
Lambda the Ultimate, 2012-02-21 1
we all know how that turns out 1
Let's build a compiler 1
Lambda the Ultimate 1
reimplemented some of their backend in erlang 1
discussions 1
these guys 1
Sociology of programming languages 1

Most common countries

IP Country No. Domains
us country flag 65
de country flag 9
nl country flag 6
gb country flag 3
ca country flag 2
at country flag 1

Most common TLD's

Domain TLD No. Domains
.com 54
.org 23
.net 12
.de 5
.edu 2
.name 2
12
Lost Backlinks
7
Unique Sources
Domainscore From To Time checked
0 http://polaro.blogspot.com/ (6 lost backlinks from this URL) lambda-the-ultimate.org/node/5581 (changed/other exist) 02 Oct 2019
0 http://illya-keeplearning.blogspot.com/ lambda-the-ultimate.org/tensor-considered-harmful 13 Aug 2019
0 http://incrediblejourneysintotheknown.blogspot.com/ lambda-the-ultimate.org/tensor-considered-harmful 13 Aug 2019
0 https://www.mattblodgett.com/ lambda-the-ultimate.org/node/4424 21 Jul 2019
2 https://legalese.com/ lambda-the-ultimate.org/node/3922 01 Jun 2019
10 http://www.arsmathematica.net/ lambda-the-ultimate.org/ (changed/other exist) 11 Feb 2019
0 http://pythoscope.org/side-effects lambda-the-ultimate.org/node/2993 14 Nov 2018

Spam and Blacklists

0 / 24 flags found
  • Domainstats Spam Flags

    0 / 12 flags found

  • Google Safe Browsing 07 Sep 2019

    Clean

  • WOT 13 Jul 2018

    Trustworthiness - Excellent (confidence 18%)

    Child Safety - Excellent (confidence 14%)

    Category - Good site (confidence 18%)

  • McAfee 04 Sep 2018

    Threat Intelligence: Minimal Risk

    Web Category: Software/Hardware

  • squidblacklist.org 06 Oct 2019

    Clean

  • Malwaredomains.com 03 Sep 2018

    Clean

  • PhishTank.com 03 Sep 2018

    Clean

  • Malwarebytes.org 03 Sep 2018

    Clean

  • spam404.com 03 Sep 2018

    Clean - Database of scammers

  • Spamhaus 03 Sep 2018

    Clean - 9 different lists

  • Surbl.org 03 Sep 2018

    Clean - 6 different lists

  • Spam Eating Monkey 03 Sep 2018

    Clean - 2 different lists

  • JunkemailFilter.com 03 Sep 2018

    Clean - 5 different lists

IP info

Updated 09 Oct 2019
35.169.60.174
IP

Historic IP numbers

IP Time Checked
35.169.60.17409 Aug 2019
35.169.60.17409 Aug 2019
52.205.9.10109 Jun 2019
52.205.9.10109 Jun 2019
52.205.9.10109 Jun 2019
35.169.60.17409 Apr 2019
35.169.60.17409 Apr 2019
35.169.60.17409 Apr 2019
52.21.93.10007 Feb 2019
52.21.93.10007 Feb 2019
52.21.93.10008 Dec 2018
52.21.93.10008 Dec 2018
52.21.93.10008 Dec 2018
52.21.147.7708 Oct 2018
52.21.93.10008 Aug 2018
52.21.93.10008 Aug 2018
52.21.93.10008 Aug 2018
52.21.147.7708 Jun 2018
52.21.93.10030 Apr 2018
52.21.93.10010 Mar 2018
54.164.172.1618 Jan 2018

Crawl Information

Updated 23 Sep 2019
0.35s
Time to fetch
200
HTTP code

http://lambda-the-ultimate.org/

Final URL

Title

Lambda the Ultimate | Programming Languages Weblog

h1

Lambda the Ultimate

Favicon

favicon

Word count

2455

Dofollow links on the home page

External: 41
Internal: 97

SEO Metrics from third parties

Updated 03 Sep 2018
70
ahrefs Domain Rating
2967
Domains Linking in

56 - http://lambda-the-ultimate.org/ (home page)

Pages with the highest Ahrefs URL Rating
191455
Pages crawled by Ahrefs
Updated 30 Mar 2019
50
Domain Authority
52
Page Authority
Updated 09 Sep 2019 / 26 Aug 2019
44 -1
Citationflow
53
Computers/Programming/Languages
Category
Yes
In Majestic Top Million?
1516 (+19)
Referring Subnets
1697 (+14)
Referring IPs
105995 (-1751)
Global Rank
8375 (-78)
Rank for all

Old SEO Metrics

Updated 17 Sep 2019
460762
Global Rank
51910 Flag of India
National Rank

Internet Archive

Updated 03 Sep 2018
1386
Times Saved
22 Jun 2004
First Snapshot
02 Sep 2018
Last Snapshot

Mobile

Updated 03 Sep 2018
77
Mobile Speed

90
Desktop Speed
62
User Experience

Full info on this link.

Social Media

Updated 20 Jul 2018
190
Facebook Mentions

Pages

249
No. pages
Title and URL Backlinks First H1 No. of Words Internal Links External Links Time Crawled
Lambda the Ultimate | Programming Languages Weblog
http://lambda-the-ultimate.org/
50 Lambda the Ultimate 2455 97 41 23 Sep 2019
The Next Mainstream Programming Languages | Lambda the Ultimate
http://lambda-the-ultimate.org/node/1277
3 Lambda the Ultimate 26780 1060 63 04 Oct 2019
Kourier is now live | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2102
3 Lambda the Ultimate 4425 207 29 04 Oct 2019
Tony Hoare / Historically Bad Ideas: "Null References: The Billion Dollar Mistake" | Lambda the Ultimate
http://lambda-the-ultimate.org/node/3186
3 Lambda the Ultimate 7415 353 26 04 Oct 2019
http://www.lambda-the-ultimate.org/ (HTTP 301)
Redirect to: http://lambda-the-ultimate.org/
3 04 Oct 2019
Interactive Programming | Lambda the Ultimate
http://lambda-the-ultimate.org/node/12
2 Lambda the Ultimate 1980 158 17 04 Oct 2019
Arc in action (a.k.a. it's aliiiiive!) | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2214
2 Lambda the Ultimate 6408 246 32 04 Oct 2019
iPhone PL lockdown | Lambda the Ultimate
http://lambda-the-ultimate.org/node/3905
2 Lambda the Ultimate 23215 816 42 04 Oct 2019
Programmer Archeologists | Lambda the Ultimate
http://lambda-the-ultimate.org/node/4424
2 Lambda the Ultimate 7686 257 20 04 Oct 2019
Lambda the Ultimate - Programming Languages Weblog
http://lambda-the-ultimate.org/node/feed
2 3018 0 0 04 Oct 2019
[not crawled]
http://lambda-the-ultimate.org/classic/message1635... (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/classic/message3832... (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/classic/message4236... (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/classic/message6192... (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/classic/message7628... (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/classic/quotes.html (HTTP 301)
1
Djinn, a theorem prover in Haskell, for Haskell. | Lambda the Ultimate
http://lambda-the-ultimate.org/node/1178
1 Lambda the Ultimate 2346 165 18 04 Oct 2019
The Haskell Programmer's Guide to the IO Monad --- Don't Panic | Lambda the Ultimate
http://lambda-the-ultimate.org/node/1183
1 Lambda the Ultimate 2973 159 25 04 Oct 2019
[not crawled]
http://lambda-the-ultimate.org/node/1210 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1248 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1253 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1259 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1270 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1289 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1303 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1308 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1311 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1318 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1325 (HTTP 301)
1
McBride Derivative paper | Lambda the Ultimate
http://lambda-the-ultimate.org/node/1329
1 Lambda the Ultimate 963 99 17 04 Oct 2019
When is one thing equal to some other thing? | Lambda the Ultimate
http://lambda-the-ultimate.org/node/1338
1 Lambda the Ultimate 6859 274 16 04 Oct 2019
[not crawled]
http://lambda-the-ultimate.org/node/1358 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1366 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1388 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1395 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1419 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1429 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1431 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1432 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1435 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1446 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1468 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1477 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1503 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/153 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1564 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1565 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1584 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1588 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1589 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1590 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1631 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1632 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1634 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1641 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1644 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1680 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1691 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1726 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1728 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1730 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1741 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1745 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1769 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1772 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1773 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1774 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1784 (HTTP 301)
1
Programming (language) puzzles | Lambda the Ultimate
http://lambda-the-ultimate.org/node/1872
1 Lambda the Ultimate 5527 312 20 04 Oct 2019
[not crawled]
http://lambda-the-ultimate.org/node/193 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/1964 (HTTP 301)
1
Beauty in the Beast | Lambda the Ultimate
http://lambda-the-ultimate.org/node/1984
1 Lambda the Ultimate 412 58 13 04 Oct 2019
[not crawled]
http://lambda-the-ultimate.org/node/1993 (HTTP 301)
1
Locus Solum: From the rules of logic to the logic of rules | Lambda the Ultimate
http://lambda-the-ultimate.org/node/1994
1 Lambda the Ultimate 1393 89 12 04 Oct 2019
Scheme: Second R6RS draft published | Lambda the Ultimate
http://lambda-the-ultimate.org/node/1995
1 Lambda the Ultimate 1929 119 22 04 Oct 2019
Ott--a tool for writing definitions of programming languages and calculi. | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2002
1 Lambda the Ultimate 593 51 12 04 Oct 2019
''The Paradigms of Programming'' online | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2005
1 Lambda the Ultimate 325 52 12 04 Oct 2019
[not crawled]
http://lambda-the-ultimate.org/node/2048 (HTTP 301)
1
Regular Expression Matching Can Be Simple And Fast | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2064
1 Lambda the Ultimate 9237 279 37 04 Oct 2019
Threads in JavaScript? | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2065
1 Lambda the Ultimate 2034 143 20 04 Oct 2019
Lowering: A Static Optimization Technique for Transparent Functional Reactivity | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2068
1 Lambda the Ultimate 2024 100 13 04 Oct 2019
The Design and Implementation of a Dataflow Language for Scriptable Debugging | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2075
1 Lambda the Ultimate 742 88 12 04 Oct 2019
Using Category Theory to Design Implicit Conversions and Generic Operators | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2078
1 Lambda the Ultimate 764 70 13 04 Oct 2019
An Analytical Approach to Programs as Data Objects | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2088
1 Lambda the Ultimate 409 52 12 04 Oct 2019
John Backus has passed away | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2140
1 Lambda the Ultimate 812 99 17 04 Oct 2019
No Ifs, Ands, or Buts | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2148
1 Lambda the Ultimate 2996 153 21 04 Oct 2019
HaMLet-S and Successor ML | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2162
1 Lambda the Ultimate 376 48 13 04 Oct 2019
Yesno | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2180
1 Lambda the Ultimate 693 63 12 04 Oct 2019
Cforall | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2181
1 Lambda the Ultimate 2167 104 17 04 Oct 2019
Church’s Thesis and Functional Programming | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2204
1 Lambda the Ultimate 1156 95 14 04 Oct 2019
From abstract interpretation to small-step typing | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2208
1 Lambda the Ultimate 4076 154 25 04 Oct 2019
Decidability of Higher Order Matching | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2211
1 Lambda the Ultimate 520 59 13 04 Oct 2019
Pickler Combinators | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2243
1 Lambda the Ultimate 492 63 13 04 Oct 2019
Type-sensitive control-flow analysis | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2271
1 Lambda the Ultimate 774 59 12 04 Oct 2019
Merging Functions, Modules, Classes, the whole nine yards... | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2279
1 Lambda the Ultimate 1758 108 12 04 Oct 2019
Trickles: A Stateless Network Stack for Improved Scalability, Resilience and Flexibility | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2286
1 Lambda the Ultimate 1344 97 15 04 Oct 2019
ECMAScript Edition 4 Reference Implementation | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2289
1 Lambda the Ultimate 7836 328 30 04 Oct 2019
[not crawled]
http://lambda-the-ultimate.org/node/2293/ (HTTP 301)
1
Python 3000 Status Update | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2302
1 Lambda the Ultimate 4670 230 19 04 Oct 2019
CMU AI repository | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2318
1 Lambda the Ultimate 474 60 16 04 Oct 2019
HOPL-III: Modula-2 and Oberon | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2330
1 Lambda the Ultimate 629 59 13 04 Oct 2019
Lambda Animator | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2343
1 Lambda the Ultimate 1509 84 15 04 Oct 2019
LtU turns 7: The year of spam | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2368
1 Lambda the Ultimate 5494 234 20 04 Oct 2019
The Karmasphere DP language | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2372
1 Lambda the Ultimate 882 63 14 04 Oct 2019
[not crawled]
http://lambda-the-ultimate.org/node/2393 (HTTP 301)
1
Compiling with Continuations, Continued | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2406
1 Lambda the Ultimate 1288 85 14 04 Oct 2019
Diagram showing all programming paradigms and their relationships | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2410
1 Lambda the Ultimate 7608 371 24 04 Oct 2019
An Accidental Simula User, Luca Cardelli | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2417
1 Lambda the Ultimate 2479 163 20 04 Oct 2019
VamOz: Visual Abstract Machine for Oz | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2422
1 Lambda the Ultimate 418 54 12 04 Oct 2019
A functional correspondence between evaluators and abstract machines | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2423
1 Lambda the Ultimate 1155 83 31 04 Oct 2019
Tagless Staged Interpreters for Simpler Typed Languages | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2438
1 Lambda the Ultimate 4591 200 28 04 Oct 2019
Compositional type systems for stack-based low-level languages | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2450
1 Lambda the Ultimate 825 73 12 04 Oct 2019
Binary Lambda Calculus and Combinatory Logic | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2458
1 Lambda the Ultimate 2815 165 21 04 Oct 2019
OMeta: an Object-Oriented Language for Pattern Matching | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2477
1 Lambda the Ultimate 1047 108 16 04 Oct 2019
Witnessing Side-Effects | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2480
1 Lambda the Ultimate 1625 134 13 04 Oct 2019
It's Time to Stop Calling Circuits "Hardware" | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2488
1 Lambda the Ultimate 6409 242 22 04 Oct 2019
Examples of large-scale functional language projects | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2491
1 Lambda the Ultimate 15987 646 66 04 Oct 2019
grammars as a shared executable specification for language processing tools | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2494
1 Lambda the Ultimate 2623 143 16 04 Oct 2019
On One-Pass CPS Transformations | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2507
1 Lambda the Ultimate 377 48 12 04 Oct 2019
Co-Logic Programming | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2513
1 Lambda the Ultimate 592 62 14 04 Oct 2019
Gödel, Nagel, minds and machines | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2515
1 Lambda the Ultimate 11027 363 45 04 Oct 2019
Dependent Classes | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2525
1 Lambda the Ultimate 2862 179 13 04 Oct 2019
Squeaky Tales | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2528
1 Lambda the Ultimate 1167 83 18 04 Oct 2019
NEXCEL, a Deductive Spreadsheet | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2531
1 Lambda the Ultimate 502 49 12 04 Oct 2019
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2541
1 Lambda the Ultimate 903 69 16 04 Oct 2019
OCaml Light: A Formal Semantics For a Substantial Subset of the Objective Caml Language | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2544
1 Lambda the Ultimate 596 67 14 04 Oct 2019
CUFP write-up | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2572
1 Lambda the Ultimate 2952 150 20 04 Oct 2019
[not crawled]
http://lambda-the-ultimate.org/node/2575 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/2582 (HTTP 301)
1
The Design and Implementation of Typed Scheme | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2622
1 Lambda the Ultimate 6121 211 25 04 Oct 2019
Recycling Continuations | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2629
1 Lambda the Ultimate 470 53 12 04 Oct 2019
The YNot Project | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2638
1 Lambda the Ultimate 3820 176 25 04 Oct 2019
Foundations for Structured Programming with GADTs | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2692
1 Lambda the Ultimate 1742 89 14 04 Oct 2019
Pure, Declarative, and Constructive Arithmetic Relations | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2697
1 Lambda the Ultimate 3163 139 19 04 Oct 2019
When Are Two Algorithms the Same? | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2729
1 Lambda the Ultimate 1608 84 13 04 Oct 2019
Mechanizing the Metatheory of LF | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2764
1 Lambda the Ultimate 1181 66 13 04 Oct 2019
Algebra of programming using dependent types | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2771
1 Lambda the Ultimate 509 58 13 04 Oct 2019
Species: making analytic functors practical for functional programming | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2785
1 Lambda the Ultimate 2858 123 13 04 Oct 2019
A located lambda calculus | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2798
1 Lambda the Ultimate 920 79 13 04 Oct 2019
Scala Lift Off Unconference review | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2808
1 Lambda the Ultimate 4840 181 30 04 Oct 2019
Lambda, the Ultimate TA | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2809
1 Lambda the Ultimate 1137 83 20 04 Oct 2019
Logical Algorithms | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2813
1 Lambda the Ultimate 876 69 14 04 Oct 2019
Linear Logical Algorithms | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2818
1 Lambda the Ultimate 1582 78 17 04 Oct 2019
Computational Thinking | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2824
1 Lambda the Ultimate 1944 130 19 04 Oct 2019
Revisiting Coroutines | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2868
1 Lambda the Ultimate 1624 107 22 04 Oct 2019
Hardware Design and Functional Programming: a Perfect Match | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2880
1 Lambda the Ultimate 3046 155 31 04 Oct 2019
Functional Netlists | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2888
1 Lambda the Ultimate 1126 70 14 04 Oct 2019
Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2892
1 Lambda the Ultimate 1670 105 15 04 Oct 2019
Partial vectorisation of Haskell programs | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2905
1 Lambda the Ultimate 396 49 13 04 Oct 2019
Happy Birthday, dear Lambda! | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2915
1 Lambda the Ultimate 1861 117 15 04 Oct 2019
The Little Books in Oz | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2920
1 Lambda the Ultimate 1438 81 16 04 Oct 2019
[not crawled]
http://lambda-the-ultimate.org/node/2941, (HTTP 301)
1
doing letrec with lambdas | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2971
1 Lambda the Ultimate 2006 153 19 04 Oct 2019
Polymorphic Algebraic Data Type Reconstruction | Lambda the Ultimate
http://lambda-the-ultimate.org/node/2981
1 Lambda the Ultimate 2351 119 13 04 Oct 2019
[not crawled]
http://lambda-the-ultimate.org/node/3060 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/3122 (HTTP 301)
1
If Programming Languages were <T> | Lambda the Ultimate
http://lambda-the-ultimate.org/node/3133
1 Lambda the Ultimate 3406 179 35 04 Oct 2019
[not crawled]
http://lambda-the-ultimate.org/node/3225 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/3250 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/3265 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/3581 (HTTP 301)
1
Review NP-complete Library Versioning Problem | Lambda the Ultimate
http://lambda-the-ultimate.org/node/3588
1 Lambda the Ultimate 6826 288 51 04 Oct 2019
[not crawled]
http://lambda-the-ultimate.org/node/3619 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/3668 (HTTP 301)
1
PICBIT: A Scheme System for the PIC Microcontroller | Lambda the Ultimate
http://lambda-the-ultimate.org/node/3694
1 Lambda the Ultimate 672 59 13 04 Oct 2019
Pattern Calculus | Lambda the Ultimate
http://lambda-the-ultimate.org/node/3695
1 Lambda the Ultimate 1487 105 15 04 Oct 2019
[not crawled]
http://lambda-the-ultimate.org/node/3696 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/3762 (HTTP 301)
1
OCaml Meeting 2010 in Paris | Lambda the Ultimate
http://lambda-the-ultimate.org/node/3826
1 Lambda the Ultimate 305 52 12 04 Oct 2019
[not crawled]
http://lambda-the-ultimate.org/node/3915 (HTTP 301)
1
SEC interested in formalising contracts ... in Python | Lambda the Ultimate
http://lambda-the-ultimate.org/node/3922
1 Lambda the Ultimate 13178 512 21 04 Oct 2019
[not crawled]
http://lambda-the-ultimate.org/node/3942 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/3963 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/3990 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/3991 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/4024 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/4071 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/412 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/4156 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/4450 (HTTP 301)
1
Julia, a language for technical computing | Lambda the Ultimate
http://lambda-the-ultimate.org/node/4452
1 Lambda the Ultimate 2038 119 24 04 Oct 2019
[not crawled]
http://lambda-the-ultimate.org/node/4560 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/4636 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/4699 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/4710 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/5079 (HTTP 301)
1
Using Commutative Assessments to Compare Conceptual Understanding in Blocks-based and Text-based Programs | Lambda the Ultimate
http://lambda-the-ultimate.org/node/5226
1 Lambda the Ultimate 588 54 15 04 Oct 2019
Happy Birthday, dear Lambda: 17 is good edition | Lambda the Ultimate
http://lambda-the-ultimate.org/node/5458
1 Lambda the Ultimate 3281 207 23 04 Oct 2019
[not crawled]
http://lambda-the-ultimate.org/node/5482 (HTTP 301)
1
The Little Typer | Lambda the Ultimate
http://lambda-the-ultimate.org/node/5552
1 Lambda the Ultimate 1242 94 14 23 Sep 2019
[not crawled]
http://lambda-the-ultimate.org/node/556 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/613 (HTTP 301)
1
Why Dependent Types Matter | Lambda the Ultimate
http://lambda-the-ultimate.org/node/693
1 Lambda the Ultimate 4004 220 27 04 Oct 2019
Genealogical Diagrams | Lambda the Ultimate
http://lambda-the-ultimate.org/node/7
1 Lambda the Ultimate 370 52 17 04 Oct 2019
The essence of Dataflow Programming by Tarmo Uustalu and Varmo Vene | Lambda the Ultimate
http://lambda-the-ultimate.org/node/988
1 Lambda the Ultimate 1149 112 19 04 Oct 2019
http://lambda-the-ultimate.org/node/view/1178 (HTTP 302)
Redirect to: http://lambda-the-ultimate.org/node/1178
1 04 Oct 2019
[not crawled]
http://lambda-the-ultimate.org/node/view/1241 (HTTP 301)
1
[not crawled]
http://lambda-the-ultimate.org/node/view/691 (HTTP 301)
1
recent posts | Lambda the Ultimate
http://lambda-the-ultimate.org/tracker
1 Lambda the Ultimate 634 164 10 23 Sep 2019
Ben L. Titzer | Lambda the Ultimate
http://lambda-the-ultimate.org/user/3395
1 Lambda the Ultimate 315 48 10 04 Oct 2019
[not crawled]
http://lambda-the-ultimate.org/user/776/track (HTTP 301)
1
archives | Lambda the Ultimate
http://lambda-the-ultimate.org/archive/2019/08/23
0 Lambda the Ultimate 258 46 10 23 Sep 2019
archives | Lambda the Ultimate
http://lambda-the-ultimate.org/archive/2019/9/15
0 Lambda the Ultimate 634 50 12 23 Sep 2019
Archives: Lambda the Ultimate Weblogs
http://lambda-the-ultimate.org/classic/lambda-arch...
0 1901 260 0 23 Sep 2019
LtU Forum | Lambda the Ultimate
http://lambda-the-ultimate.org/forum/1
0 Lambda the Ultimate 668 122 10 23 Sep 2019
Site Discussion | Lambda the Ultimate
http://lambda-the-ultimate.org/forum/2
0 Lambda the Ultimate 623 127 10 23 Sep 2019
V-Parser | Lambda the Ultimate
http://lambda-the-ultimate.org/node/5484
0 Lambda the Ultimate 1580 63 15 23 Sep 2019
Safe Dynamic Memory Management in Ada and SPARK | Lambda the Ultimate
http://lambda-the-ultimate.org/node/5541
0 Lambda the Ultimate 591 55 12 23 Sep 2019
Notes on notation and thought | Lambda the Ultimate
http://lambda-the-ultimate.org/node/5542
0 Lambda the Ultimate 956 64 13 23 Sep 2019
History of Lisp | Lambda the Ultimate
http://lambda-the-ultimate.org/node/5548
0 Lambda the Ultimate 964 76 13 23 Sep 2019
On compositionality | Lambda the Ultimate
http://lambda-the-ultimate.org/node/5550
0 Lambda the Ultimate 27885 716 60 23 Sep 2019
"Three Things I Wish I Knew When I Started Designing Languages" | Lambda the Ultimate
http://lambda-the-ultimate.org/node/5569
0 Lambda the Ultimate 772 70 13 23 Sep 2019
Seven Sketches in Compositionality: An Invitation to Applied Category Theory | Lambda the Ultimate
http://lambda-the-ultimate.org/node/5571
0 Lambda the Ultimate 620 60 13 23 Sep 2019
Applied Category Theory - The Emerging Science of Compositionality | Lambda the Ultimate
http://lambda-the-ultimate.org/node/5581
0 Lambda the Ultimate 1845 107 16 23 Sep 2019
Histogram: You have to know the past to understand the present by Tomas Petricek | Lambda the Ultimate
http://lambda-the-ultimate.org/node/5582
0 Lambda the Ultimate 624 52 12 23 Sep 2019
http://lambda-the-ultimate.org/node/view/13 (HTTP 302)
Redirect to: http://lambda-the-ultimate.org/node/13
0 23 Sep 2019
http://lambda-the-ultimate.org/node/view/2 (HTTP 302)
Redirect to: http://lambda-the-ultimate.org/node/2
0 23 Sep 2019
http://lambda-the-ultimate.org/node/view/3 (HTTP 302)
Redirect to: http://lambda-the-ultimate.org/node/3
0 23 Sep 2019
http://lambda-the-ultimate.org/node/view/34 (HTTP 302)
Redirect to: http://lambda-the-ultimate.org/node/34
0 23 Sep 2019
http://lambda-the-ultimate.org/node/view/4 (HTTP 302)
Redirect to: http://lambda-the-ultimate.org/papers
0 23 Sep 2019
http://lambda-the-ultimate.org/node/view/40 (HTTP 302)
Redirect to: http://lambda-the-ultimate.org/faq
0 23 Sep 2019
http://lambda-the-ultimate.org/node/view/49 (HTTP 302)
Redirect to: http://lambda-the-ultimate.org/node/49
0 23 Sep 2019
http://lambda-the-ultimate.org/node/view/492 (HTTP 302)
Redirect to: http://lambda-the-ultimate.org/node/492
0 23 Sep 2019
http://lambda-the-ultimate.org/node/view/5 (HTTP 302)
Redirect to: http://lambda-the-ultimate.org/node/5
0 23 Sep 2019
http://lambda-the-ultimate.org/node/view/7 (HTTP 302)
Redirect to: http://lambda-the-ultimate.org/node/7
0 23 Sep 2019
Lambda the Ultimate | Programming Languages Weblog
http://lambda-the-ultimate.org/node?from=10
0 Lambda the Ultimate 1516 104 32 23 Sep 2019
Lambda the Ultimate | Programming Languages Weblog
http://lambda-the-ultimate.org/node?from=2040
0 Lambda the Ultimate 829 56 13 23 Sep 2019
Selective Functors | Lambda the Ultimate
http://lambda-the-ultimate.org/story-selective-fun...
0 Lambda the Ultimate 677 56 16 23 Sep 2019
Paradigms | Lambda the Ultimate
http://lambda-the-ultimate.org/taxonomy/term/10
0 Lambda the Ultimate 2371 134 53 23 Sep 2019
Functional | Lambda the Ultimate
http://lambda-the-ultimate.org/taxonomy/term/11
0 Lambda the Ultimate 1449 104 36 23 Sep 2019
Meta-Programming | Lambda the Ultimate
http://lambda-the-ultimate.org/taxonomy/term/15
0 Lambda the Ultimate 3068 128 48 23 Sep 2019
Parallel/Distributed | Lambda the Ultimate
http://lambda-the-ultimate.org/taxonomy/term/16
0 Lambda the Ultimate 4211 103 47 23 Sep 2019
Teaching & Learning | Lambda the Ultimate
http://lambda-the-ultimate.org/taxonomy/term/18
0 Lambda the Ultimate 3017 114 61 23 Sep 2019
Type Theory | Lambda the Ultimate
http://lambda-the-ultimate.org/taxonomy/term/21
0 Lambda the Ultimate 3272 111 35 23 Sep 2019
Category Theory | Lambda the Ultimate
http://lambda-the-ultimate.org/taxonomy/term/22
0 Lambda the Ultimate 2371 132 46 23 Sep 2019
Spotlight | Lambda the Ultimate
http://lambda-the-ultimate.org/taxonomy/term/25
0 Lambda the Ultimate 1295 86 28 23 Sep 2019
Critiques | Lambda the Ultimate
http://lambda-the-ultimate.org/taxonomy/term/4
0 Lambda the Ultimate 2262 105 53 23 Sep 2019
Fun | Lambda the Ultimate
http://lambda-the-ultimate.org/taxonomy/term/5
0 Lambda the Ultimate 1849 119 38 23 Sep 2019
General | Lambda the Ultimate
http://lambda-the-ultimate.org/taxonomy/term/6
0 Lambda the Ultimate 1515 99 45 23 Sep 2019
History | Lambda the Ultimate
http://lambda-the-ultimate.org/taxonomy/term/7
0 Lambda the Ultimate 1703 102 32 23 Sep 2019
Implementation | Lambda the Ultimate
http://lambda-the-ultimate.org/taxonomy/term/8
0 Lambda the Ultimate 2319 110 38 23 Sep 2019
Tensor Considered Harmful | Lambda the Ultimate
http://lambda-the-ultimate.org/tensor-considered-h...
0 Lambda the Ultimate 990 76 15 23 Sep 2019
Ehud Lamm | Lambda the Ultimate
http://lambda-the-ultimate.org/user/1
0 Lambda the Ultimate 259 49 10 23 Sep 2019
Andris Birkmanis | Lambda the Ultimate
http://lambda-the-ultimate.org/user/1071
0 Lambda the Ultimate 265 50 10 23 Sep 2019
Anton van Straaten | Lambda the Ultimate
http://lambda-the-ultimate.org/user/2
0 Lambda the Ultimate 278 49 10 23 Sep 2019
Manuel J. Simoni | Lambda the Ultimate
http://lambda-the-ultimate.org/user/2103
0 Lambda the Ultimate 260 49 10 23 Sep 2019
naasking | Lambda the Ultimate
http://lambda-the-ultimate.org/user/2352
0 Lambda the Ultimate 258 49 10 23 Sep 2019
Z-Bo | Lambda the Ultimate
http://lambda-the-ultimate.org/user/5173
0 Lambda the Ultimate 382 50 10 23 Sep 2019
Charles Stewart | Lambda the Ultimate
http://lambda-the-ultimate.org/user/918
0 Lambda the Ultimate 269 50 10 23 Sep 2019
100+
Domains Found

.com 42%

.org 26%

.edu 18%

other 14%

TLD Distribution
DomainIPAnalyticsAdsense
cs.indiana.edu 129.79.78.234 UA-134139682 (4)
jmlr.csail.mit.edu 128.30.2.143 UA-131826476 (2)
jmlr.org 128.30.2.143 UA-131826476 (2)
nlp.seas.harvard.edu 185.199.109.153 UA-116932893
cs.stackexchange.com 151.101.129.69 UA-108242619 (177)
blockly-demo.appspot.com 172.217.22.20 UA-102948379
andrej.com 178.79.132.86 UA-96961601
eugeniacheng.com 216.70.123.132 UA-94044216
hackage.haskell.org 151.101.12.68 UA-83290513 (2)
haskell.org 147.75.67.13 UA-83290513 (2)
cs.columbia.edu 128.59.11.206 UA-81573103
xml.com 35.173.69.207 UA-79723435
scratchjr.org 151.101.114.33 UA-68375411
pacmpl.acm.org 104.17.79.191 UA-60739058 (29)
dlpdesign.com 192.124.249.5 UA-59034821
p5js.org 104.27.153.105 UA-53383000 (2)
myhdl.org 207.38.94.49 UA-48954307 (3)
cl.cam.ac.uk 128.232.0.20 UA-47341509
modelviewculture.com 151.101.0.207 UA-46781012
danluu.com 104.28.21.48 UA-43852829
cs.cornell.edu 128.84.96.12 UA-42834021
utdallas.edu 104.16.44.54 UA-40160313 (9)
processing.org 23.239.19.146 UA-40016511 (3)
cga.ct.gov 159.247.160.80 UA-36792899
incidentalcomplexity.com 104.18.47.133 UA-36105397 (2)
carlislegroup.com 96.127.183.109 UA-34648733
cs.brown.edu 128.148.32.12 UA-34495025 (7)
worldforge.org 128.31.0.34 UA-34221686
cs.cmu.edu 128.2.42.95 UA-33466045 (3)
reviews.com 23.185.0.1 UA-32568720
weblogs.mozillazine.org 140.211.166.9 UA-32170104 (4)
scratch.mit.edu 151.101.194.133 UA-30688952 (3)
cs.washington.edu 34.215.139.216 UA-30195837
dyalog.com 81.94.205.35 UA-28909969 (3)
julialang.org 151.101.2.49 UA-28835595 (2)
steveperkins.com 142.93.108.123 UA-28600243
icarus.com 208.76.30.234 UA-28463678
softintegration.com 173.255.209.242 UA-26206458
cs.utexas.edu 128.83.120.48 UA-24388877
galois.com 104.198.0.102 UA-20211832
itasoftware.com 172.217.21.206 UA-16903902
graphics.stanford.edu 171.67.77.70 UA-16809964 (2)
james-iry.blogspot.com 216.58.208.33 UA-15939853 pub-1556223355139109 (384332)
tbray.org 67.231.28.131 UA-15895873
cs.ucla.edu 164.67.100.181 UA-12307567 (12)
fpgajournal.com 68.168.102.15 UA-10887064 (3)
higherlogics.blogspot.com 172.217.16.161 UA-10695720 pub-4953170272947575
maa.org 192.31.143.111 UA-10613664 (6)
icfp17.sigplan.org 131.180.119.44 UA-9607501 (55)
2017.programmingconference.org 131.180.119.44 UA-9607501 (55)
popl16.sigplan.org 131.180.119.44 UA-9607501 (55)
neilmix.com 74.220.199.6 UA-9156498 (8858)
thedailywtf.com 162.252.83.113 UA-9122028 (2)
jlongster.com 74.207.234.52 UA-9014321
waveplace.com 52.86.139.37 UA-8510916 (5)
squeakland.org 52.86.139.37 UA-8510916 (5)
laurikari.net 94.237.35.60 UA-8497500 (2)
franz.com 67.207.112.67 UA-8392475 (3)
cleartrip.com 23.38.55.85 UA-8292447
object-arts.com 46.252.205.217 UA-7645386
infoq.com 199.119.126.68 UA-6608133
queue.acm.org 104.17.80.191 UA-6562869
macroplant.com 52.87.82.109 UA-6088184 (10)
chris-granger.com 185.199.108.153 UA-5714038 (2)
wiki.laptop.org 204.187.15.151 UA-4975748 (2) pub-4880598326964493
comp.nus.edu.sg 45.60.35.225 UA-4938260
existentialtype.net 75.119.214.109 UA-4363943
mcjones.org 216.146.219.115 UA-4257732
splint.org 104.27.162.155 UA-3775212 (11)
swtch.com 216.239.32.21 UA-3319603 (2)
erlang.org 18.184.93.36 UA-3045895
cs.princeton.edu 128.112.136.51 UA-2811780 (2)
c2.com 69.168.54.22 UA-2377314 (3)
rc3.org 104.28.2.79 UA-1804590
khronos.org 104.236.24.254 UA-1759693 (9)
tomasp.net 192.30.252.153 UA-1561220 (4)
cis.upenn.edu 158.130.69.163 UA-1517333 (9)
seas.upenn.edu 158.130.68.91 UA-1517333 (9)
ece.cmu.edu 128.2.131.95 UA-1348693 (2)
kurzweilcyberart.com 162.209.63.106 UA-946742 (24)
math.wustl.edu 128.252.93.56 UA-831895 (28)
brics.dk 185.45.20.39 UA-705488
daringfireball.net 104.27.149.53 UA-593949
scala.epfl.ch 128.178.154.37 UA-574683 (4)
raeng.org.uk 134.213.181.137 UA-341950 (3)
liftweb.net 95.216.47.215 UA-334500 (2)
steve-yegge.blogspot.com 172.217.21.225 UA-238999 pub-1448465482748307
joelonsoftware.com 209.15.20.208 UA-225715 (8)
ffconsultancy.com 91.194.151.39 UA-197840 (3)
lrb.co.uk 212.71.236.73 UA-186611 (2) pub-3620078865723740
untyped.com 35.197.250.246 UA-183641
dis.4chan.org 104.16.168.99 UA-166538 (5)
codeclimber.net.nz 104.27.179.124 UA-156881
findbugs.sourceforge.net 216.105.38.10 UA-133798 (2)
adaic.org 194.98.77.209 UA-117428 (7)
mono-project.com 185.199.109.153 UA-76510
windley.com 54.208.148.219 UA-74440 (3)
awelonblue.wordpress.com 192.0.78.13 UA-52447 (95137)
lukepalmer.wordpress.com 192.0.78.12 UA-52447 (95137)
jrvarma.wordpress.com 192.0.78.12 UA-52447 (95137)