Jason Z. S. Hu

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 13

Top Topics

Semantic Categories

Theoretical Basis

Answering Queries

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

ACM Trans. Comput. Log.

Publications

Jason Z. S. Hu, Brigitte Pientka
DeLaM: A Dependent Layered Modal Type Theory for Meta-programming. CoRR (2024)
Jason Z. S. Hu, Brigitte Pientka
Layered Modal Type Theory - Where Meta-programming Meets Intensional Analysis. ESOP (1) (2024)
Jason Z. S. Hu, Junyoung Jang, Brigitte Pientka
Normalization by evaluation for modal dependent type theory. J. Funct. Program. 33 (2023)
Jason Z. S. Hu, Brigitte Pientka
Layered Modal Type Theories. CoRR (2023)
Jason Z. S. Hu, Brigitte Pientka
An Investigation of Kripke-style Modal Type Theories. CoRR (2022)
Jason Z. S. Hu, Brigitte Pientka, Ulrich Schöpp
A Category Theoretic View of Contextual Types: from Simple Types to Dependent Types. CoRR (2022)
Jason Z. S. Hu, Brigitte Pientka
A Categorical Normalization Proof for the Modal Lambda-Calculus. CoRR (2022)
Jason Z. S. Hu, Brigitte Pientka, Ulrich Schöpp
A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types. ACM Trans. Comput. Log. 23 (4) (2022)
Jason Z. S. Hu, Jacques Carette
Formalizing category theory in Agda. CPP (2021)
Jason Z. S. Hu
Internal Category with Families in Presheaves. CoRR (2021)
Jason Z. S. Hu, Ondrej Lhoták
and its decidable fragments. Proc. ACM Program. Lang. 4 (POPL) (2020)
Jason Z. S. Hu, Jacques Carette
Proof-relevant Category Theory in Agda. CoRR (2020)
Jason Z. S. Hu, Ondrej Lhoták
Undecidability of $D_{<: }$ and Its Decidable Fragments. CoRR (2019)