Log in Sign up

Log in to Zulip

Types
https://typ.zulipchat.com

This Zulip chat (public archives) lives alongside the types-list mailing-list:

TYPES is a discussion forum focusing on Type Theory in Computer Science, with a broad view of the subject encompassing semantical, categorical, operational, and proof theoretical topics, as well as algorithmic issues and applications.

Typical topics include: typed, untyped, or polymorphic lambda calculus; type checking, inference, and reconstruction; subtyping, dependent types, calculus of constructions, the lambda cube; linear logic, the Curry-Howard correspondence; recursive types; adequate and fully abstract models; domain theory; category theory; term reduction, normalization, confluence; abstract data types; type systems for object-oriented, concurrent, distributed, and mobile programming.

Comments and criticisms of results in the literature, open problems, and research queries are encouraged.

OR
OR
Forgot your password? Sign up

Product

  • Home
  • Why Zulip
  • Features
  • Plans & pricing
  • Self-hosting
  • Desktop & mobile apps
  • Security
  • Integrations

Solutions

  • Business
  • Education
  • Research
  • Events and conferences
  • Open source projects
  • Communities

Customer stories

  • iDrift AS Company
  • Technical University of Munich
  • University of California San Diego
  • Lean theorem prover community
  • Asciidoctor open-source community
  • Rust language community
  • Recurse Center

Accounts

  • New organization
  • Terms of Service
  • Privacy policy

For users

  • Getting started
  • Help center
  • Community chat
  • Contact support
  • Blog

For administrators

  • Setting up your organization
  • Installing a Zulip server
  • Upgrading a Zulip server
  • Modifying Zulip

For contributors

  • GitHub
  • Contributing to Zulip
  • Development community
  • Translation
  • REST API

About us

  • Team & History
  • Twitter
  • Jobs
  • Website attributions
  • Sponsor Zulip