bentnib.org

Robots.txt Information

Robot	Path	Permission
GoogleBot	/	✔
BingBot	/	✔
BaiduSpider	/	✔
YandexBot	/	✔

Meta Tags

Title	Bob
Description	Home RSS @bentnib GitHub Bob Atkey I am a Senior Lecturer in the department of Computer and Information Sciences at the University of Strathclyde . I am a
Keywords	N/A

Server Information

WebSite	bentnib.org
Host IP	178.79.191.203
Location	United Kingdom

Related Websites

                        Site
                        Rank
                    

More to Explore

bentnib.org Valuation

US$882,892

Last updated: 2022-09-10 22:19:40

bentnib.org has Semrush global rank of 11,988,224. bentnib.org has an estimated worth of US$ 882,892, based on its estimated Ads revenue. bentnib.org receives approximately 101,873 unique visitors each day. Its web server is located in United Kingdom, with IP address 178.79.191.203. According to SiteAdvisor, bentnib.org is safe to visit.

Traffic & Worth Estimates

Purchase/Sale Value	US$882,892
Daily Ads Revenue	US$815
Monthly Ads Revenue	US$24,450
Yearly Ads Revenue	US$293,392
Daily Unique Visitors	6,792
Note: All traffic and earnings values are estimates.

DNS Records

Host	Type	TTL	Data
bentnib.org.	A	86399	IP: 178.79.191.203
bentnib.org.	AAAA	86399	IPV6: 2a01:7e00::f03c:91ff:fedf:98e7
bentnib.org.	NS	86400	NS Record: ns5.linode.com.
bentnib.org.	NS	86400	NS Record: ns3.linode.com.
bentnib.org.	NS	86400	NS Record: ns1.linode.com.
bentnib.org.	NS	86400	NS Record: ns4.linode.com.
bentnib.org.	NS	86400	NS Record: ns2.linode.com.
bentnib.org.	MX	86400	MX Record: 10 mail.bentnib.org.
bentnib.org.	TXT	86400	TXT Record: v=spf1 a mx ~all

HtmlToTextCheckTime:2022-09-10 22:19:40

Home RSS @bentnib GitHub Bob Atkey I am a Senior Lecturer in the department of Computer and Information Sciences at the University of Strathclyde . I am a member of the department’s Mathematically Structured Programming (MSP) group. Email: robert.atkey@strath.ac.uk My research is on programming languages. I use mathematical ideas and structure from logic, category theory, type theory, and denotational semantics to study programming languages and the systems they describe. Blog posts 2020-11-23: Slides and Video for “Resource Constrained Programming with Full Dependent Types” 2020-08-13: Quantitative Typing with Non-idempotent Intersection Types 2020-01-24: Slides for “Resource Constrained Programming with Full Dependent Types” 2016-10-10: Off the Beaten Track 2017: Call for Talk Proposals 2016-04-12: Authenticated Data Structures, as a Library, for Free! 2016-01-26: Slides and notes for my OBT “Generalising Abstraction” talk 2015-04-23: The Incremental λ-Calculus and Relational

HTTP Headers

HTTP/1.1 301 Moved Permanently
Server: nginx/1.18.0 (Ubuntu)
Date: Thu, 23 Dec 2021 20:31:05 GMT
Content-Type: text/html
Content-Length: 178
Connection: keep-alive
Location: https://bentnib.org/

HTTP/1.1 200 OK
Server: nginx/1.18.0 (Ubuntu)
Date: Thu, 23 Dec 2021 20:31:06 GMT
Content-Type: text/html
Content-Length: 9542
Last-Modified: Tue, 19 Oct 2021 12:19:04 GMT
Connection: keep-alive
ETag: "616eb7b8-2546"
Accept-Ranges: bytes

bentnib.org Whois Information

Domain Name: BENTNIB.ORG
Registry Domain ID: D165288940-LROR
Registrar WHOIS Server: whois.namecheap.com
Registrar URL: http://www.namecheap.com
Updated Date: 2020-01-27T13:03:02Z
Creation Date: 2012-04-14T20:03:07Z
Registry Expiry Date: 2022-04-14T20:03:07Z
Registrar: NameCheap, Inc.
Registrar IANA ID: 1068
Registrar Abuse Contact Email: abuse@namecheap.com
Registrar Abuse Contact Phone: +1.6613102107
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Registrant State/Province: Capital Region
Registrant Country: IS
Name Server: NS1.LINODE.COM
Name Server: NS2.LINODE.COM
Name Server: NS3.LINODE.COM
Name Server: NS4.LINODE.COM
Name Server: NS5.LINODE.COM
DNSSEC: unsigned
URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/)
>>> Last update of WHOIS database: 2021-12-27T04:53:18Z <<<

bentnib.org valuation and analysis