Modalities in Type-Systems

• In this talk, I will present a unified framework for extending type systems with modalities. This framework supports several well-known and lesser known applications of modalities. Logical applications include alethic and doxastic logics. Functional programming applications include quantitative and secretive types. Additionally, modalities support tracking (co-)effects in programming languages, which have applications in dynamic semantics.

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap -- Språkteknologi (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences -- Language Technology (hsv//eng)

NATURVETENSKAP  -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences -- Computer Sciences (hsv//eng)

Nyckelord

Modalities

Lambda Calculus

Formal Semantics

Publikations- och innehållstyp

vet (ämneskategori)

kon (ämneskategori)