| Desktop | 99/100 | ✔ |
| Mobile | 64/100 | ❗ |
| Field | Data | Result |
|---|---|---|
| Page Size | 62 KB | ✔ |
| Compression | 17 KB (-72%) | ✔ |
| Text/Html Ratio | 25422 / 63723 (bytes) = 39.89% | ✔ |
| Load Time | 0.01 second | ✔ |
| Mobile Ready | 0/100 | ✘ |
| In-Page Links | 368 | ❗ |
| Doc Type | HTML 5 | ✔ |
| Encoding | UTF-8 | ✔ |
| Declared Language | English | ✔ |
| Preferred Domain | Yes | ✔ |
| Robots.txt | No | ✘ |
| Url Rewrite | Yes | ✘ |
| Underscores in url | Yes | ✘ | Images Without ALT | 0 / 3 | ✔ |
| Embedded Objects (Desktop) | No | ✔ |
| Embedded Objects (Mobile) | No | ✔ |
| Iframe | No | ✔ |
| Custom 404 page | Yes | ✔ |
| Email Privacy | No | ✘ |
| Gsafe browsing | Yes | ✔ |
| Analytics | No | ✘ |
| W3C Validity | No | ✘ |
| Keywords | Freq | Title | Desc | <H> |
|---|---|---|---|---|
| programming | 34 | ✘ | ✘ | ✘ |
| university | 27 | ✘ | ✘ | ✘ |
| algebraic | 20 | ✘ | ✘ | ✘ |
| foundations | 18 | ✘ | ✘ | ✘ |
| computer | 17 | ✘ | ✘ | ✘ |
| probabilistic | 17 | ✘ | ✘ | ✘ |
| semantics | 17 | ✘ | ✘ | ✘ |
| theory | 17 | ✘ | ✘ | ✘ |
| effects | 15 | ✘ | ✘ | ✘ |
| seminar | 15 | ✘ | ✘ | ✘ |
| international | 14 | ✘ | ✘ | ✘ |
| ohad | 14 | ✔ | ✔ | ✘ |
| effect | 14 | ✘ | ✘ | ✘ |
| languages | 11 | ✘ | ✘ | ✘ |
| domain | 11 | ✘ | ✘ | ✘ |
|
With 0.01 seconds in page load, 62 KB of page size and all other reports below, the denotational.co.uk has a SEO score of 54 out of 100 |
| Title | Ohad's Research - Home |
| Description | Ohad Kammar's Research |
| Keyword | ohad kammar, ohad, kammar, research, publications, publication, programming language semantics, PLT semantics, semantics, category, categories, category theory, logic, computational effects, effect type systems, type and effect systems, types, effects, effect type system, access control, DCC, CDD, Plotkin, Gordon Plotkin, call by push value, CBPV, call-by-push-value, denotational semantics, continuations, delimited continuations, jump with argument |
| Age | 8 Years, 265 Days |
| Created | 14th-Mar-2015 |
| Updated | 1st-Jun-2018 |
| Expiry | 14th-Mar-2025 |
| Host | Type | Ttl | Other |
|---|---|---|---|
| denotational.co.uk | A | 10797 | ip:185.199.109.153 |
| denotational.co.uk | A | 10797 | ip:185.199.108.153 |
| denotational.co.uk | A | 10797 | ip:185.199.110.153 |
| denotational.co.uk | A | 10797 | ip:185.199.111.153 |
| denotational.co.uk | NS | 10800 | target:ns-236-c.gandi.net |
| denotational.co.uk | NS | 10800 | target:ns-252-b.gandi.net |
| denotational.co.uk | NS | 10800 | target:ns-200-a.gandi.net |
| denotational.co.uk | SOA | 10800 | mname:ns1.gandi.netrname:hostmaster.gandi.netserial:1701302400refresh:10800retry:3600expire:604800minimum-ttl:10800 |
| denotational.co.uk | MX | 10800 | pri:50target:fb.mail.gandi.net |
| denotational.co.uk | MX | 10800 | pri:10target:spool.mail.gandi.net |
| denotational.co.uk | TXT | 10800 | txt:v=spf1 include:_mailcust.gandi.net ?all |
| denotational.co.uk | AAAA | 10797 | ipv6:2606:50c0:8001::153 |
| denotational.co.uk | AAAA | 10797 | ipv6:2606:50c0:8002::153 |
| denotational.co.uk | AAAA | 10797 | ipv6:2606:50c0:8003::153 |
| denotational.co.uk | AAAA | 10797 | ipv6:2606:50c0:8000::153 |
|
HTTP/1.1 200 OK Connection: keep-alive Content-Length: 63723 Server: GitHub.com Content-Type: text/html; charset=utf-8 Last-Modified: Sat, 28 Oct 2023 05:44:13 GMT Access-Control-Allow-Origin: * ETag: "653c9fad-f8eb" expires: Mon, 04 Dec 2023 18:27:31 GMT Cache-Control: max-age=600 x-proxy-cache: MISS X-GitHub-Request-Id: E7B4:54A0:58DA6:7E77C:656E17BA Accept-Ranges: bytes Date: Mon, 04 Dec 2023 18:17:31 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-lga21978-LGA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1701713851.073823,VS0,VE1 Vary: Accept-Encoding X-Fastly-Request-ID: 9fc7b37dad6bc356949e87613cb4ce0244a2abe9 |
|
Domain name: denotational.co.uk Data validation: Nominet was not able to match the registrant's name and/or address against a 3rd party source on 17-Mar-2015 Registrar: Gandi [Tag = GANDI] URL: https://www.gandi.net Relevant dates: Registered on: 14-Mar-2015 Expiry date: 14-Mar-2025 Last updated: 01-Jun-2018 Registration status: Registered until expiry date. Name servers: ns-200-a.gandi.net ns-236-c.gandi.net ns-252-b.gandi.net WHOIS lookup made at 18:17:31 04-Dec-2023 -- This WHOIS information is provided for free by Nominet UK the central registry for .uk domain names. This information and the .uk WHOIS are: Copyright Nominet UK 1996 - 2023. You may not access the .uk WHOIS or use any data from it except as permitted by the terms of use available in full at https://www.nominet.uk/whoisterms, which includes restrictions on: (A) use of the data for advertising, or its repackaging, recompilation, redistribution or reuse (B) obscuring, removing or hiding any or all of this notice and (C) exceeding query rate or volume limits. The data is provided on an 'as-is' basis and may lag behind the register. Access may be withdrawn or restricted at any time. |
| Server IP | 185.199.110.153 |
| Server Location | Netherlands |
| Service Provider | FASTLY |
| Domains (TLD) | Status |
|---|---|
| denotational.com | Already Registered |
| denotational.net | Already Registered |
| denotational.org | Already Registered |
| denotational.biz | Available |
| denotational.io | Already Registered |
| Domains (TLD) | Status |
|---|---|
| xenotational.uk | Available |
| senotational.uk | Available |
| wenotational.uk | Available |
| eenotational.uk | Available |
| renotational.uk | Available |
| Wvosfm.com |
| Totalchildpreschool.com |
| Sigob.org |
| Runtheworldadventures.com |
| Equitana.com.au |
| 3rdcultureproject.com |
| Ritchy.com |
| Ablv.org |
| Academicplanetschool.com |
| Snakepe.com |