Backlink stats adam.chlipala.net

• Linkpop:	916
• Domainpop:	255
• IP-Pop:	182
• ClassC-Pop:	170

Referring Domains Referring Pages Recently Discovered Top Pages Status Codes Anchor Text Reverse IP

CSV

	Domain	IP	Referring Pages	DomainRank
1	xxxx://xxx.xxxxxxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	4	11
2	http://www.heise.de \| Details ► http://www.heise.de/news/Ur-Web-Neue-Web-Programmiersprache-des-MIT-2507508.html	193.99.144.85	1	11
3	xxxx://xxx.xxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	1	11
4	http://www.cs.cmu.edu \| Details ► http://www.cs.cmu.edu/~kqy/	128.2.42.95	1	11
5	xxxx://xxxxxx.xxxxx.xxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.x.xxx	25	10

6	http://www.cs.umd.edu \| Details ► http://www.cs.umd.edu/class/fall2019/cmsc631/Resources.html	128.8.127.4	11	10
7	xxxx://xxx.xx.xxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xx	9	10
8	http://news.mit.edu \| Details ► http://news.mit.edu/2014/new-programming-language-coordinates-web-page-components-1223	23.185.0.4	8	10
9	xxxx://xxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xxx	3	10
10	http://www.cs.utexas.edu \| Details ► http://www.cs.utexas.edu/~bornholt/courses/cs345h-22au/lectures/6-lambda-calculus/	128.83.120.48	2	10
11	xxxx://xxx.xxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xx	1	10
12	http://www.ams.org \| Details ► http://www.ams.org/journals/bull/2014-51-04/S0273-0979-2014-01456-9/?active=current	130.44.204.100	1	10
13	xxxx://xxx.xx.xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xxx	14	9
14	http://people.eecs.berkeley.edu \| Details ► http://people.eecs.berkeley.edu/~adamc/	128.32.244.190	12	9
15	xxxx://xxx.xxxxx.xxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.x.x	10	9
16	http://www.cis.upenn.edu \| Details ► http://www.cis.upenn.edu/~bcpierce/tldi12/cfp.html	158.130.69.163	8	9
17	xxxx://xxxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xx	5	9
18	http://www.seas.upenn.edu \| Details ► http://www.seas.upenn.edu/~plclub/poplmark/chlipala.html	158.130.68.91	5	9
19	xxxx://xxx.xxx.xxxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xx	4	9
20	http://perso.ens-lyon.fr \| Details ► http://perso.ens-lyon.fr/damien.pous/coqapprox/	140.77.168.56	2	9
21	xxxx://xx.x.xxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xxx	1	9
22	http://sdtimes.com \| Details ► http://sdtimes.com/linkapalooza/linkapalooza-may-12-2014/	35.202.185.210	1	9
23	xxxx://xxx.xxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xxx	1	9
24	http://theory.stanford.edu \| Details ► http://theory.stanford.edu/~blynn/compiler/lambda.html	171.64.78.10	1	9
25	xxxx://xxxxxxxxxxx.xxxxxxx.xxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xxx	1	9
26	http://www.lri.fr \| Details ► http://www.lri.fr/~paulin/LASER/laser.html	129.175.15.11	1	9
27	xxxx://xxxxx.xxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	1	9
28	http://lambda-the-ultimate.org \| Details ► http://lambda-the-ultimate.org/node/2254	34.120.197.229	53	8
29	xxxx://xxxxxxx.xx.xxxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.x.xxx	19	8
30	http://www.cs.rit.edu \| Details ► http://www.cs.rit.edu/~mtf/teaching/20185/mmt/resources.html	129.21.30.104	10	8
31	xxxx://xxx.xxxxxxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xx.xx.xx	8	8
32	http://www.freetechbooks.com \| Details ► http://www.freetechbooks.com/adam-chlipala-a4332.html	209.59.154.35	8	8
33	xxxx://xxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xx.xx.xx.xx	4	8
34	http://www.mimuw.edu.pl \| Details ► http://www.mimuw.edu.pl/~daria/ZPF/2019/zpf19.html	193.0.96.14	4	8
35	xxxx://xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xx	3	8
36	http://www.programmez.com \| Details ► http://www.programmez.com/actualites/ur/web-un-langage-fonctionnel-coordonateur-pour-des-applications-web-plus-sures-et-plus-faciles-21905	188.165.230.204	3	8
37	xxxx://xxx.xxxx-xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	3	8
38	http://www-cs-students.stanford.edu \| Details ► http://www-cs-students.stanford.edu/%7Eblynn/compiler/lambda.html	171.64.66.201	3	8
39	xxxx://xxx.xx.xxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xx	3	8
40	http://www.cs.uoregon.edu \| Details ► http://www.cs.uoregon.edu/research/summerschool/summer15/speakers.html	128.223.4.25	3	8
41	xxxx://xxx.xxxxxxxxxxxxxxxxxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xx.xx.xxx	2	8
42	http://www.itworld.co.kr \| Details ► http://www.itworld.co.kr/news/91172	49.247.215.197	2	8
43	xxxx://xxx.xxx.xxxxxxxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	2	8
44	http://www.i-programmer.info \| Details ► http://www.i-programmer.info/news/149-security/12872-chrome-cryptocode-generator-revealed.html	18.209.126.167	2	8
45	xxxx://xxxxxx.xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xx	2	8
46	http://web.cecs.pdx.edu \| Details ► http://web.cecs.pdx.edu/~apt/cs510coq_2021/	131.252.208.59	2	8
47	xxxx://xxxxx.xx.xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xxx	2	8
48	http://www.e-booksdirectory.com \| Details ► http://www.e-booksdirectory.com/details.php?ebook=6354	209.59.191.64	1	8
49	xxxx://xxx.xxxxxxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	1	8
50	http://www.site.uottawa.ca \| Details ► http://www.site.uottawa.ca/~afelty/courses/csi5137.html	137.122.24.222	1	8