www.stefanwehr.de Gehe zur Webseite
Stefan Wehr
Globales Ranking: | 17.958.774 |
Eingehende Links: | 5 |
Webseiten Geschwindigkeit: | 0.058 Sekunden |
Besucher Entwicklung
Zeitraum | Platzierung | Veränderung |
---|---|---|
3 Monate | 17.958.774 | 1.865.708 |
Letzter Monat | 13.120.360 | 1.561.341 |
Letzte Woche | 5.260.980 | 0 |
Wichtigste Keywords
Stefan Wehr Peter Thiemann Stefan Wehr on Programming on Programming Languages Workshop on Conference on Symposium on Programming Languages
Die IP-Adresse lautet 95.129.49.53.
DNS-Daten
Host | Klasse | Typ | Ziel |
---|---|---|---|
stefanwehr.de | IN | NS | ns2.hans.hosteurope.de |
stefanwehr.de | IN | NS | ns1.hans.hosteurope.de |
stefanwehr.de | IN | MX | mail.stefanwehr.de |
stefanwehr.de | IN | SOA | ns1.hans.hosteurope.de |
stefanwehr.de | IN | A | 95.129.49.53 |
Server-Ping
PING stefanwehr.de (95.129.49.53) 56(84) bytes of data. 64 bytes from stefanwehr.de (95.129.49.53): icmp_req=1 ttl=57 time=21.0 ms 64 bytes from stefanwehr.de (95.129.49.53): icmp_req=2 ttl=57 time=21.0 ms 64 bytes from stefanwehr.de (95.129.49.53): icmp_req=3 ttl=57 time=20.9 ms 64 bytes from stefanwehr.de (95.129.49.53): icmp_req=4 ttl=57 time=21.1 ms --- stefanwehr.de ping statistics --- 4 packets transmitted, 4 received, 0% packet loss, time 601ms rtt min/avg/max/mdev = 20.970/21.049/21.156/0.190 ms
Die Seite hat eine Ladezeit von 0.058 Sekunden.
Die Verbinungszeit zum Server beträgt 21ms.
HTTP-Header
HTTP-Tag | Wert |
---|---|
http_version | HTTP/1.1 |
statuscode | 200 |
date | Sun, 07 Dec 2014 21:35:42 GMT |
server | Apache/2.2.16 (Debian) |
last-modified | Thu, 16 May 2013 10:32:27 GMT |
etag | "5c20a-3327-4dcd361fca4c0" |
accept-ranges | bytes |
vary | Accept-Encoding |
content-encoding | gzip |
content-length | 3737 |
connection | close |
content-type | text/html |
Meta Tags
Meta-Tag | Wert |
---|---|
Content-Type | text/html; charset=ISO-8859-15 |
Interne Links
Anchor | URL |
---|---|
here. | http://stefanwehr.de/software/ |
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance | http://stefanwehr.de/publications/WehrThiemann2011TOPLAS.html |
On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints | http://stefanwehr.de/publications/WehrThiemann2011.html |
JavaGI: A Language with Generalized Interfaces | http://stefanwehr.de/publications/Wehr2010.html |
urn:nbn:de:bsz:25-opus-76785 | urn://stefanwehr.de/nbn:de:bsz:25-opus-76785 |
Eager and Delayed Contract Monitoring for Call-by-value and Call-by-name Evaluation | http://stefanwehr.de/publications/DegenThiemannWehr2010.html |
On the Decidability of Subtyping with Bounded Existential Types | http://stefanwehr.de/publications/WehrThiemann2009-aplas.html |
JavaGI in the Battlefield: Practical Experience with Generalized Interfaces | http://stefanwehr.de/publications/WehrThiemann2009.html |
True Lies: Lazy Contracts for Lazy Languages (Faithfulness is Better than Laziness) | http://stefanwehr.de/publications/DegenThiemannWehr2009.html |
Auf dem Weg zu einer robusten Programmierausbildung | http://stefanwehr.de/publications/BieniusaEtAl2008b.html |
Contract Monitoring and Call-by-name Evaluation (extended abstract) | http://stefanwehr.de/publications/DegenThiemannWehr2008.html |
Interface Types for Haskell | http://stefanwehr.de/publications/ThiemannWehr2008.html |
ML Modules and Haskell Type Classes: A Constructive Comparison | http://stefanwehr.de/publications/WehrChakravarty2008.html |
The Relation of Version Control to Concurrent Programming | http://stefanwehr.de/publications/BieniusaThiemannWehr2008.html |
HtDP and DMdA in the Battlefield - A Case Study in First-year Programming Instruction | http://stefanwehr.de/publications/BieniusaEtAl2008.html |
Subtyping Existential Types | http://stefanwehr.de/publications/WehrThiemann2008.html |
JavaGI: Generalized Interfaces for Java | http://stefanwehr.de/publications/WehrLammelThiemann2007.html |
Tracking Linear and Affine Resources with Java(X) | http://stefanwehr.de/publications/DegenThiemannWehr2007.html |
ML Modules and Haskell Type Classes: A Constructive Comparison | http://stefanwehr.de/publications/Wehr2005.html |
(X)Emacs Reference | http://stefanwehr.de/documentation/emacs-reference/ |
Externe Links
Anchor | URL |
---|---|
factis research | http://www.factisresearch.com/ |
University of Freiburg | http://www.uni-freiburg.de |
Twitter page | http://twitter.com/skogsbaer |
Blog about functional programming (in german) | http://funktionale-programmierung.de |
Haskell Hackathon 2007 II | http://www.haskell.org/haskellwiki/Hac_2007_II |
public key | http://wwwkeys.de.pgp.net/pks/lookup?search=0x0B9F5CE4&op=get |
Ähnliche Domains
Letzte Aktualisierung: 07.12.2014 22:59