www.types.name
The TYPES Conferences
The TYPES conference is an almost yearly conference held since 1990. It is a forum to present new and on-going work in all aspects of type theory and its applications. The TYPES conference stemmed out of a number of successful European projects from 1990 to 2008 (ESPRIT Action 3245, 1989 - 1992,
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2025-09-12 |
| Last crawled | 2026-06-12 |
| IPv4 | 194.63.248.52 |
| IPv6 | 2a01:5b40:0:248::52 |
| Network | AS12996 Domeneshop AS · Oslo |
| CNAME | www.types.name |
| Language | en-US |
| Server | ESF |