eb.host.cs.st-andrews.ac.uk Report : Visit Site


  • Ranking Alexa Global: # 18,199,Alexa Ranking in United Kingdom is # 1,971

    Server:nginx...

    The main IP address: 138.251.206.220,Your server United Kingdom,Saint Andrews ISP:The University of St. Andrews  TLD:uk CountryCode:GB

    The description :i am a lecturer in computer science at the university of st andrews, interested in type theory, dependently typed functional programming, compilers and domain specific languages (dsls). i am currently...

    This report updates in 06-Jul-2018

Technical data of the eb.host.cs.st-andrews.ac.uk


Geo IP provides you such as latitude, longitude and ISP (Internet Service Provider) etc. informations. Our GeoIP service found where is host eb.host.cs.st-andrews.ac.uk. Currently, hosted in United Kingdom and its service provider is The University of St. Andrews .

Latitude: 56.338710784912
Longitude: -2.7990200519562
Country: United Kingdom (GB)
City: Saint Andrews
Region: Scotland
ISP: The University of St. Andrews

the related websites

HTTP Header Analysis


HTTP Header information is a part of HTTP protocol that a user's browser sends to called nginx containing the details of what the browser wants and will accept back from the web server.

Content-Encoding:gzip
Transfer-Encoding:chunked
Strict-Transport-Security:max-age=15552000
Vary:Accept-Encoding, Cookie
X-ac:1.ewr _dca
Server:nginx
Connection:keep-alive
Link:; rel=shortlink
Date:Fri, 06 Jul 2018 02:25:57 GMT
X-hacker:If you're reading this, you should visit automattic.com/jobs and apply to join the fun, mention this header.
Content-Type:text/html; charset=UTF-8

DNS

cname:trenco.cs.st-andrews.ac.uk.
ipv4:IP:138.251.206.220
ASN:786
OWNER:JANET Jisc Services Limited, GB
Country:GB

HtmlToText

home publications software contact blog rss feed about i am a lecturer in computer science at the university of st andrews, interested in type theory, dependently typed functional programming, compilers and domain specific languages (dsls). i am currently working on the implementation of dsls for stateful, resource-aware programming, especially for correct network protocol design and implementation, using idris , a dependently typed functional programming language. when i’m not doing that, you might find me playing go (i’m about 1 kyu), walking up a hill, watching a game of cricket, or waiting for a delayed train. i’m afraid i also perpetrated the whitespace programming language. you can email me at [email protected] . posted august 17, 2011 by edwinb categories dependent types domain specific languages hacks idris papers talks blogroll epilogue idris idris tutorial tweets i want one of these! but nobody seems to sell them any more... twitter.com/andre_videla/s… 1 day ago rt @ dysinger : i'm looking for contract work as a functional dev. i have 20+ years of sw dev experience on linux/bsd with many of those year… 3 days ago hearing the ivor the engine theme via @ bbcgidcoeshow reminds me: rip peter firmin, without whom i'd be giving my ac… twitter.com/i/web/status/1… 3 days ago it's summer, but university lecturers are still working full time... twitter.com/mantia/status/… 3 days ago follow @edwinbrady back to top blog at wordpress.com. post to cancel

URL analysis for eb.host.cs.st-andrews.ac.uk



Whois Information


Whois is a protocol that is access to registering information. You can reach when the website was registered, when it will be expire, what is contact details of the site with the following informations. In a nutshell, it includes these informations;


No such domain ac.uk


  REFERRER http://www.nominet.org.uk

  REGISTRAR Nominet UK

SERVERS

  SERVER ac.uk.whois-servers.net

  ARGS ac.uk

  PORT 43

  TYPE domain

  REGISTERED no

DOMAIN

  NAME ac.uk

NSERVER

  NS2.JA.NET 193.63.105.17

  AUTH03.NS.UU.NET 198.6.1.83

  NS3.JA.NET 193.63.106.103

  NS1.SURFNET.NL 192.87.106.101

  NS4.JA.NET 193.62.157.66

  WS-FRA1.WIN-IP.DFN.DE 193.174.75.178

  NS0.JA.NET 193.63.94.20

Go to top

Mistakes


The following list shows you to spelling mistakes possible of the internet users for the website searched .

  • www.ueb.com
  • www.7eb.com
  • www.heb.com
  • www.keb.com
  • www.jeb.com
  • www.ieb.com
  • www.8eb.com
  • www.yeb.com
  • www.ebebc.com
  • www.ebebc.com
  • www.eb3bc.com
  • www.ebwbc.com
  • www.ebsbc.com
  • www.eb#bc.com
  • www.ebdbc.com
  • www.ebfbc.com
  • www.eb&bc.com
  • www.ebrbc.com
  • www.urlw4ebc.com
  • www.eb4bc.com
  • www.ebc.com
  • www.ebbc.com
  • www.ebvc.com
  • www.ebvbc.com
  • www.ebvc.com
  • www.eb c.com
  • www.eb bc.com
  • www.eb c.com
  • www.ebgc.com
  • www.ebgbc.com
  • www.ebgc.com
  • www.ebjc.com
  • www.ebjbc.com
  • www.ebjc.com
  • www.ebnc.com
  • www.ebnbc.com
  • www.ebnc.com
  • www.ebhc.com
  • www.ebhbc.com
  • www.ebhc.com
  • www.eb.com
  • www.ebc.com
  • www.ebx.com
  • www.ebxc.com
  • www.ebx.com
  • www.ebf.com
  • www.ebfc.com
  • www.ebf.com
  • www.ebv.com
  • www.ebvc.com
  • www.ebv.com
  • www.ebd.com
  • www.ebdc.com
  • www.ebd.com
  • www.ebcb.com
  • www.ebcom
  • www.eb..com
  • www.eb/com
  • www.eb/.com
  • www.eb./com
  • www.ebncom
  • www.ebn.com
  • www.eb.ncom
  • www.eb;com
  • www.eb;.com
  • www.eb.;com
  • www.eblcom
  • www.ebl.com
  • www.eb.lcom
  • www.eb com
  • www.eb .com
  • www.eb. com
  • www.eb,com
  • www.eb,.com
  • www.eb.,com
  • www.ebmcom
  • www.ebm.com
  • www.eb.mcom
  • www.eb.ccom
  • www.eb.om
  • www.eb.ccom
  • www.eb.xom
  • www.eb.xcom
  • www.eb.cxom
  • www.eb.fom
  • www.eb.fcom
  • www.eb.cfom
  • www.eb.vom
  • www.eb.vcom
  • www.eb.cvom
  • www.eb.dom
  • www.eb.dcom
  • www.eb.cdom
  • www.ebc.om
  • www.eb.cm
  • www.eb.coom
  • www.eb.cpm
  • www.eb.cpom
  • www.eb.copm
  • www.eb.cim
  • www.eb.ciom
  • www.eb.coim
  • www.eb.ckm
  • www.eb.ckom
  • www.eb.cokm
  • www.eb.clm
  • www.eb.clom
  • www.eb.colm
  • www.eb.c0m
  • www.eb.c0om
  • www.eb.co0m
  • www.eb.c:m
  • www.eb.c:om
  • www.eb.co:m
  • www.eb.c9m
  • www.eb.c9om
  • www.eb.co9m
  • www.eb.ocm
  • www.eb.co
  • eb.host.cs.st-andrews.ac.ukm
  • www.eb.con
  • www.eb.conm
  • eb.host.cs.st-andrews.ac.ukn
  • www.eb.col
  • www.eb.colm
  • eb.host.cs.st-andrews.ac.ukl
  • www.eb.co
  • www.eb.co m
  • eb.host.cs.st-andrews.ac.uk
  • www.eb.cok
  • www.eb.cokm
  • eb.host.cs.st-andrews.ac.ukk
  • www.eb.co,
  • www.eb.co,m
  • eb.host.cs.st-andrews.ac.uk,
  • www.eb.coj
  • www.eb.cojm
  • eb.host.cs.st-andrews.ac.ukj
  • www.eb.cmo
Show All Mistakes Hide All Mistakes