Important pages are Gfp, Exploring Generic Haskell and Type-Level Web Apis With Servant An Exercise In Domain-Specific Generic Programming. In the following table you'll find the 10 most important pages of Mindshareworld.at:
# | Description | URL of the website |
---|---|---|
1. | Gfp | /GFP.html |
2. | Exploring Generic Haskell | /ExploringGH.pdf |
3. | Type-level Web APIs with Servant An exercise in domain-specific generic programming | /Servant/ |
4. | Hierarchy in Generic Programming Libraries | /HierarchyGP/ |
5. | The Semantics of Version Control | /SemanticsOfVersionControl/ |
6. | True Sums of Products | /TrueSumsOfProducts/ |
7. | Formalizing Semantic Bidirectionalization with Dependent Types | /AgdaBX/ |
8. | Generic Generic Programming | /GenericGenericProgramming/ |
9. | A formal comparison of approaches to datatype-generic programming | /FormalComparisonGP/ |
10. | Deterministic Parallel Programming with Haskell | /DeterministicParallelProgramming/ |
A Apache server hosts the websites of Mindshareworld.at. XHTML 1.0 Transitional 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: | 78.46.40.47 |
Server provider: | Hetzner Online AG |
Webserver software: | Apache, Version 2.4.18 |
Operating system: | Unix/Linux (Unix) |
Load time: | 0.16 seconds (faster than 94 % of all websites) |
HTML version: | XHTML 1.0 Transitional |
Filesize: | 29.83 KB (1914 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, Nürnberg | |
Trustworthy 85% |