The website with the homepage "Prof. Dr. Stefan Wehr" provides content on the pages A Software Architecture Based On Coarse-Grained Self-Adjusting Computations, A Type-Directed Dictionary-Passing Translation Of Method Overloading And Structural Subtyping In Featherweight Generic Go and Set-Theoretic Types For Erlang. In the following table you'll find the 10 most important pages of Stefanwehr.de:
# | Description | URL of the website |
---|---|---|
1. | Prof. Dr. Stefan Wehr | / |
2. | A Software Architecture Based on Coarse-Grained Self-Adjusting Computations | /publications/Wehr2023.html |
3. | A Type-Directed Dictionary-Passing Translation of Method Overloading and Structural Subtyping in Featherweight Generic Go | /publications/SulzmannWehr2023.html |
4. | Set-theoretic Types for Erlang | /publications/SchimpfWehrBieniusa2023.html |
5. | Semantic preservation for a type directed translation scheme of Featherweight Go | /publications/SulzmannWehr-mpc2022.html |
6. | A Dictionary-Passing Translation of Featherweight Go | /publications/SulzmannWehr-aplas2021.html |
7. | JavaGI A Language with Generalized Interfaces | /publications/Wehr2010.html |
8. | On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints | /publications/WehrThiemann2011.html |
9. | The interaction of contracts and laziness | /publications/DegenThiemannWehr2012HOSC.html |
10. | JavaGI The Interaction of Type Classes with Interfaces and Inheritance | /publications/WehrThiemann2011TOPLAS.html |
A Nginx server hosts the websites of Stefanwehr.de. HTML 4.01 Strict is used as markup language on the webpages. The website does not specify details about the inclusion of its content in search engines. For this reason the content will be included by search engines.
IP address: | 157.90.23.153 |
Webserver software: | Nginx, Version 1.21.4 |
Load time: | 0.06 seconds (faster than 99 % of all websites) |
HTML version: | HTML 4.01 Strict |
Filesize: | 10.48 KB (720 recognized words in text) |
The website doesn't contain questionable content. It can be used by kids and is safe for work.
Attribute | Classification | |
---|---|---|
Google Safebrowsing |
Safe | |
Safe for children |
||
Safe for work |
||
Webwiki rating |
No ratings | |
Server location |
Germany | |
Trustworthy 85% |