Mattam.org
Mattam is ranked > 3,000,000 in the United Kingdom. 'Matthieu Sozeau :: News.'
--Rank in United Kingdom
--Worldwide Rank
| Monthly pages viewed | < 300 | |
| Monthly visits | < 300 | |
| Value per visitor | -- | |
| Estimated worth | £315.73 | |
| External links | 25 | |
| Number of pages | 150 |
Last Updated: 05/04/2018 . Estimated data, read disclaimer.
Content
www.Mattam.org
Topics: Research, Publications, Internships, Universes, Equations, and Classes.
- Popular pages
- mattam.org Subset coercions in Coq
- mattam.org First-Class Type Classes
- mattam.org Matthieu Sozeau :: Dependent Finger Trees in Coq
- mattam.org Matthieu Sozeau :: Russell
- Links out
- gentoo.org Gentoo Linux -- Gentoo Linux News
- scholar.google.com Google Scholar
- phdcomics.com PHD Comics: Taking it personally
- cocoon.apache.org Cocoon Main Site - Welcome
| Server Location | |
| American Registry For Internet Numbers Virginia Chantilly United States 38.8963, -77.5216 | |
ns2.hcoop.net, and ns1.hcoop.net are its DNS Nameservers. American Registry For Internet Numbers (Virginia, Chantilly) is the location of the Apache/2 server. Its IP Number is 69.90.123.68.
IP: 69.90.123.68
Web Server: Apache/2
Encoding: utf-8
| PING www. (69.90.123.68) 56(84) bytes of data. | |
| 64 bytes from mire.hcoop.net (69.90.123.68): icmp_seq=1 ttl=54 | 30.6 ms |
| 64 bytes from mire.hcoop.net (69.90.123.68): icmp_seq=2 ttl=54 | 30.8 ms |
| 64 bytes from mire.hcoop.net (69.90.123.68): icmp_seq=3 ttl=54 | 30.5 ms |
| --- www. ping statistics --- | |
| 3 packets transmitted, 3 received, 0% packet loss, time 2001ms | |
| rtt min/avg/max/mdev = 30.592/30.696/30.809/0.220 ms | |
| rtt min/avg/max/mdev = 30.592/30.696/30.809/0.220 ms |
A ping to the server is timed at 30.6 ms.
| Server Setup | |
| Date: | -- |
|---|---|
| Server: | Apache/2.2.16 (Debian) |
| Last-Modified: | -- |
| ETag: | "4b298e76-1fe7-4d7e4a3796580" |
| Accept-Ranges: | bytes |
| Content-Length: | 8167 |
| Vary: | Accept-Encoding |
| Content-Type: | text/html; charset=utf-8 |