Jason Z. S. Hu

According to our database, Jason Z. S. Hu authored at least 12 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming.

Jason Z. S. Hu, Brigitte Pientka

CoRR, 2024

Layered Modal Type Theory - Where Meta-programming Meets Intensional Analysis.

Jason Z. S. Hu, Brigitte Pientka

Proceedings of the Programming Languages and Systems, 2024

2023

Normalization by evaluation for modal dependent type theory.

Jason Z. S. Hu, Junyoung Jang, Brigitte Pientka

J. Funct. Program., 2023

Layered Modal Type Theories.

Jason Z. S. Hu, Brigitte Pientka

CoRR, 2023

2022

A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types.

Jason Z. S. Hu, Brigitte Pientka, Ulrich Schöpp

ACM Trans. Comput. Log., 2022

A Categorical Normalization Proof for the Modal Lambda-Calculus.

Jason Z. S. Hu, Brigitte Pientka

Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

An Investigation of Kripke-style Modal Type Theories.

Jason Z. S. Hu, Brigitte Pientka

CoRR, 2022

2021

Internal Category with Families in Presheaves.

Jason Z. S. Hu

CoRR, 2021

Formalizing category theory in Agda.

Jason Z. S. Hu, Jacques Carette

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2020

Undecidability of <i>d_<:</i> and its decidable fragments.

Jason Z. S. Hu, Ondrej Lhoták

Proc. ACM Program. Lang., 2020

Proof-relevant Category Theory in Agda.

Jason Z. S. Hu, Jacques Carette

CoRR, 2020

2019

Undecidability of $D_{<: }$ and Its Decidable Fragments.

Jason Z. S. Hu, Ondrej Lhoták

CoRR, 2019