AI Chat AI Image Generator AI Video Text to Speech

Layered Modal Type Theories

05/11/2023

∙

by Jason Z. S. Hu, et al.

∙

∙

We introduce layers to modal type theories, which subsequently enables type theories for pattern matching on code in meta-programming and clean and straightforward semantics.

Jason Z. S. Hu
6 publications
Brigitte Pientka
11 publications

page 1

page 2

page 3

page 4

research

∙ 06/15/2022

An Investigation of Kripke-style Modal Type Theories

This technical report investigates Kripke-style modal type theories, bot...

0 Jason Z. S. Hu, et al. ∙

research

∙ 02/18/2019

The meta-problem and the transfer of knowledge between theories of consciousness: a software engineer's take

This contribution examines two radically different explanations of our p...

0 Marcel Kvassay, et al. ∙

research

∙ 12/30/2021

Deriving Distributive Laws for Graded Linear Types

The recent notion of graded modal types provides a framework for extendi...

0 Jack Hughes, et al. ∙

research

∙ 10/25/2020

Graded Modal Dependent Type Theory

Graded type theories are an emerging paradigm for augmenting the reasoni...

0 Benjamin Moon, et al. ∙

research

∙ 06/15/2017

On the enumeration of sentences by compactness

Presented is a Julia meta-program that discovers compact theories from d...

0 Mark A. Stalzer, et al. ∙

research

∙ 11/15/2021

Moebius: Metaprogramming using Contextual Types – The stage where System F can pattern match on itself (Long Version)

We describe the foundation of the metaprogramming language, Moebius, whi...

0 Junyoung Jang, et al. ∙

research

∙ 10/08/2017

Annotating High-Level Structures of Short Stories and Personal Anecdotes

Stories are a vital form of communication in human culture; they are emp...

0 Boyang Li, et al. ∙