Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
User-agent: * |
Title | Home - Casper Bach |
Description | News Casper Bach Poulsen Home Students Contact I am an assistant professor in the Programming Languages Group at Delft University of Technology . I do research |
Keywords | N/A |
WebSite | casperbp.net |
Host IP | 94.231.101.73 |
Location | Denmark |
Site | Rank |
US$290,902
Last updated: 2023-05-19 06:53:21
casperbp.net has Semrush global rank of 36,384,523. casperbp.net has an estimated worth of US$ 290,902, based on its estimated Ads revenue. casperbp.net receives approximately 33,566 unique visitors each day. Its web server is located in Denmark, with IP address 94.231.101.73. According to SiteAdvisor, casperbp.net is safe to visit. |
Purchase/Sale Value | US$290,902 |
Daily Ads Revenue | US$269 |
Monthly Ads Revenue | US$8,056 |
Yearly Ads Revenue | US$96,669 |
Daily Unique Visitors | 2,238 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
casperbp.net. | A | 3599 | IP: 94.231.101.73 |
casperbp.net. | NS | 3600 | NS Record: ns1.simply.com. |
casperbp.net. | NS | 3600 | NS Record: ns4.simply.com. |
casperbp.net. | NS | 3600 | NS Record: ns3.simply.com. |
casperbp.net. | NS | 3600 | NS Record: ns2.simply.com. |
Casper Bach Poulsen Home Students Contact I am an assistant professor in the Programming Languages Group at Delft University of Technology . I do research on specifying and implementing programming languages. I am particularly interested in type safe languages , i.e., languages with type checkers that verifiably guarantee the absence of errors in programs. My research focuses on principles, techniques, and tools that enable language designers to effectively define and verify type safe languages, and to maintain language definitions as a language evolves. News Nov 2022: Co-authored paper with Cas van der Rest on Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Operations accepted for publication and presentation at POPL’23 ! Sep 2022: Co-authored paper with Cas van der Rest et al. on Intrinsically-Typed Definitional Interpreters à la Carte accepted for publication and presentation at OOPSLA’22 ! Oct 2022: I am a PC member of PEPM’23 Sep 2022: Teaching Compiler Construction |
HTTP/1.1 200 OK Date: Sat, 10 Sep 2022 09:04:28 GMT Server: Apache Upgrade: h2 Connection: Upgrade Last-Modified: Mon, 07 Mar 2022 13:03:05 GMT Accept-Ranges: none Vary: Accept-Encoding X-Content-Type-Options: nosniff SimplyCom-Server: Apache Content-Length: 9249 Content-Type: text/html |
Domain Name: CASPERBP.NET Registry Domain ID: 2026745869_DOMAIN_NET-VRSN Registrar WHOIS Server: whois.rrpproxy.net Registrar URL: http://www.key-systems.net Updated Date: 2022-04-23T16:33:04Z Creation Date: 2016-05-08T18:20:04Z Registry Expiry Date: 2023-05-08T18:20:04Z Registrar: Key-Systems GmbH Registrar IANA ID: 269 Registrar Abuse Contact Email: abuse@key-systems.net Registrar Abuse Contact Phone: +49.68949396850 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: NS1.SIMPLY.COM Name Server: NS2.SIMPLY.COM Name Server: NS3.SIMPLY.COM Name Server: NS4.SIMPLY.COM DNSSEC: unsigned >>> Last update of whois database: 2022-09-10T08:59:23Z <<< |