Возраст домена | 12 лет |
Дата окончания | Истек срок регистрации |
ИКС | |
Страниц в Google | 113 |
Страниц в Яндексе | 58 |
Dmoz | Нет |
Яндекс Каталог | Нет |
Alexa Traffic Rank | Нет данных |
Alexa Country | Нет данных |
История изменения показателей | Авторизация |
Идет сбор информации... Обновить
Bob Atkey
n/a
n/a
UTF-8
8.78 КБ
496
3 980 симв.
3 422 симв.
Данные предоставлены сервисом semrush
Сайт | Общие фразы | PR | тИЦ | Alexa Rank | Alexa Country | |
---|---|---|---|---|---|---|
wikipedia.org | 12 | 9 |
0 | 5 | 6 | |
google.com | 10 | 9 |
0 | 1 | 1 | |
oracle.com | 6 | 8 |
0 | 356 | 319 | |
springer.com | 5 | 8 |
0 | 377 | 182 | |
youtube.com | 4 | 9 |
0 | 2 | 2 | |
stackexchange.com | 4 | 6 |
0 | 118 | 66 | |
psu.edu | 4 | 8 |
0 | 1205 | 568 | |
arxiv.org | 4 | 8 |
0 | 894 | 248 | |
stackoverflow.com | 3 | 7 |
0 | 47 | 44 | |
acm.org | 3 | 8 |
0 | 3284 | 1110 | |
Еще 40 сайтов после авторизации |
Данные предоставлены сервисом semrush
Данные linkpad ( 4 Октября 2016 ) | |
Количество ссылок на сайт | 41 |
Количество доменов, которые ссылаются на сайт | 18 |
Количество найденных анкоров | 19 |
Исходящие (внешние) ссылки домена | 226 |
Количество доменов, на которые ссылается сайт | 77 |
Количество исходящих анкоров | 128 |
Внешние ссылки главной страницы ( 7 ) | |
twitter.com/bentnib | @bentnib |
github.com/bobatkey | GitHub |
strath.ac.uk/science/computerinformationsciences/ | Computer and Information Sciences |
strath.ac.uk | University of Strathclyde |
msp.cis.strath.ac.uk | Mathematically Structured Programming (MSP) |
dblp.uni-trier.de/pers/hd/a/Atkey:Robert.html | DBLP |
scholar.google.co.uk/citations?user=0bo89OQAAAAJ&hl=en | Google Scholar |
Внутренние ссылки главной страницы ( 57 ) | |
/ | Home |
/posts.rss.xml | RSS |
posts/2016-10-10-off-the-beaten-track.html | Off the Beaten Track 2017: Call for Talk Proposals |
posts/2016-04-12-authenticated-data-structures-as-a-library.... | Authenticated Data Structures, as a Library, for Free! |
posts/2016-01-26-obt.html | Slides and notes for my OBT “Generalising Abstraction” talk |
posts/2015-04-23-incremental-lambda-calculus-and-parametrici... | The Incremental λ-Calculus and Relational Parametricity |
posts/2015-04-19-algebraic-approach-typechecking-and-elabora... | Slides for “An Algebraic Approach to Typechecking and Elaboration” |
posts/2015-04-17-propositions-as-filenames-essence-of-make.h... | Propositions as Filenames, Builds as Proofs: The Essence of Make |
posts/2014-01-29-popl-slides.html | POPL Slides |
posts/2013-07-17-one-done-two-submitted.html | One Done, Two Submitted |
posts/2013-03-29-productive-coprogramming.html | Productive Coprogramming with Guarded Recursion |
posts/2012-11-07-theorems-for-free.html | Theorems for Free |
posts/2012-11-07-algebraically-indexed-types.html | Abstraction and Invariance for Algebraically Indexed Types |
posts/2012-09-06-interleaving-data-and-effects.html | Interleaving Data and Effects |
posts/2012-09-05-relational-parametricity-for-higher-kinds.h... | Relational Parametricity for Higher Kinds |
posts/2012-01-06-streams.html | Reasoning about Stream Processing with Effects |
posts/2011-12-14-type-checker.html | A Type Checker that knows its Monad from its Elbow |
posts/2011-11-14-productive-programmer.html | How to be a Productive Programmer |
posts/2011-04-28-folds-and-induction.html | On Structural Recursion II: Folds and Induction |
posts/2011-04-22-structural-recursion.html | On Structural Recursion |
binding-universe-journal.html | A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs |
dijkstra4all.html | Dijkstra Monads for All |
handlers-cps-journal.html | Effect Handlers via Generalised Continuations |
binding-universe.html | A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs |
context-constrained.html | Context Constrained Computation |
quantitative-type-theory.html | The Syntax and Semantics of Quantitative Type Theory |
cll-obs-semantics.html | Observed Communication Semantics for Classical Processes |
dpia.html | Compiling Parallel Functional Code with Data Parallel Idealised Algol |
handlers-cps.html | Continuation Passing Style for Effect Handlers |
conflate.html | Conflation Confers Concurrency |
dimension-models.html | Models for Polymorphism over Physical Dimensions |
interleaving.html | Interleaving data and effects |
threadsafe.html | ThreadSafe: Static Analysis for Java Concurrency |
conservation-laws.html | From Parametricity to Conservation Laws, via Noether's Theorem |
dtt-parametricity.html | A Relationally Parametric Model of Dependent Type Theory |
algebraic-indexed.html | Abstraction and Invariance for Algebraically Indexed Types |
productive.html | Productive Coprogramming with Guarded Recursion |
fomega-parametricity.html | Relational Parametricity for Higher Kinds |
induction-with-effects.html | Fibrational Induction Meets Effects |
refinement-journal.html | Refining Inductive Types |
semantic-actions.html | The Semantics of Parsing with Semantic Actions |
amortised-sep-logic-journal.html | Amortised Resource Analysis with Separation Logic |
inductive-refinement.html | When Is a Type Refinement an Inductive Type? |
amortised-sep-logic.html | Amortised Resource Analysis with Separation Logic |
symbolic.html | Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode |
algebras-param-monads.html | Algebras for Parameterised Monads |
f-in-coq.html | A Deep Embedding of Parametric Polymorphism in Coq |
paramnotions-jfp.html | Parameterised notions of computation |
syntaxforfree.html | Syntax for Free: Representing Syntax with Binding Using Parametricity |
unembedding.html | Unembedding domain-specific languages |
arrows.html | What is a Categorical Model of Arrows? |
all-hands-2007.html | Secure Execution of Mobile Java using Static Analysis and Proof Carrying Code |
coqjvm.html | CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types |
jml-heap-space.html | Specifying and Verifying Heap Space Allocation with JML and ESC/Java2 |
param-notions.html | Parameterised Notions of Computation |
thesis.html | Substructural Simple Type Theories for Separation and In-place Update |
lambda-sep-icalp.html | A 𝜆-Calculus for Resource Separation |
Domain Name: BENTNIB.ORG
Registry Domain ID: D165288940-LROR
Registrar WHOIS Server:
Registrar URL: http://www.enom.com
Updated Date: 2017-05-06T12:17:18Z
Creation Date: 2012-04-14T20:03:07Z
Registry Expiry Date: 2022-04-14T20:03:07Z
Registrar Registration Expiration Date:
Registrar: eNom, Inc.
Registrar IANA ID: 48
Registrar Abuse Contact Email:
Registrar Abuse Contact Phone:
Reseller:
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Registry Registrant ID: C192752202-LROR
Registrant Name: WhoisGuard Protected
Registrant Organization: WhoisGuard, Inc.
Registrant Street: P.O. Box 0823-03411
Registrant City: Panama
Registrant State/Province: Panama
Registrant Postal Code: 00000
Registrant Country: PA
Registrant Phone: +507.8365503
Registrant Phone Ext:
Registrant Fax: +51.17057182
Registrant Fax Ext:
Registrant Email: f3b7f5e4a2f845258c3cc4645b8520e6.protect@whoisguard.com
Registry Admin ID: C192752202-LROR
Admin Name: WhoisGuard Protected
Admin Organization: WhoisGuard, Inc.
Admin Street: P.O. Box 0823-03411
Admin City: Panama
Admin State/Province: Panama
Admin Postal Code: 00000
Admin Country: PA
Admin Phone: +507.8365503
Admin Phone Ext:
Admin Fax: +51.17057182
Admin Fax Ext:
Admin Email: f3b7f5e4a2f845258c3cc4645b8520e6.protect@whoisguard.com
Registry Tech ID: C192752202-LROR
Tech Name: WhoisGuard Protected
Tech Organization: WhoisGuard, Inc.
Tech Street: P.O. Box 0823-03411
Tech City: Panama
Tech State/Province: Panama
Tech Postal Code: 00000
Tech Country: PA
Tech Phone: +507.8365503
Tech Phone Ext:
Tech Fax: +51.17057182
Tech Fax Ext:
Tech Email: f3b7f5e4a2f845258c3cc4645b8520e6.protect@whoisguard.com
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
URL of the ICANN Whois Inaccuracy Complaint Form: https://www.icann.org/wicf/
>>> Last update of WHOIS database: 2017-09-30T06:54:22Z <<<
For more information on Whois status codes, please visit https://icann.org/epp
Access to Public Interest Registry WHOIS information is provided to assist persons in determining the contents of a domain name registration record in the Public Interest Registry registry database. The data in this record is provided by Public Interest Registry for informational purposes only, and Public Interest Registry does not guarantee its accuracy. This service is intended only for query-based access. You agree that you will use this data only for lawful purposes and that, under no circumstances will you use this data to: (a) allow, enable, or otherwise support the transmission by e-mail, telephone, or facsimile of mass unsolicited, commercial advertising or solicitations to entities other than the data recipient's own existing customers; or (b) enable high volume, automated, electronic processes that send queries or data to the systems of Registry Operator, a Registrar, or Afilias except as reasonably necessary to register domain names or modify existing registrations. All rights reserved. Public Interest Registry reserves the right to modify these terms at any time. By submitting this query, you agree to abide by this policy.
США - West Hempstead - 64.238.147.76
Cervalis LLC
Cervalis LLC
HTTP/1.1 200 OK
Server: nginx/1.10.3 (Ubuntu)
Date: Mon, 06 Jan 2020 21:30:12 GMT
Content-Type: text/html
Content-Length: 8986
Last-Modified: Fri, 14 Jun 2019 17:27:24 GMT
Connection: keep-alive
ETag: "5d03d8fc-231a"
Accept-Ranges: bytes
Кнопка для анализа сайта в один клик, для установки перетащите ссылку на "Панель закладок"