Jason Z. S. Hu

Orcid: 0000-0001-6710-6262

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

Layered Modal Type Theory - Where Meta-programming Meets Intensional Analysis.
Proceedings of the Programming Languages and Systems, 2024

2023
Normalization by evaluation for modal dependent type theory.
J. Funct. Program., 2023

Layered Modal Type Theories.
CoRR, 2023

2022
A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types.
ACM Trans. Comput. Log., 2022

A Categorical Normalization Proof for the Modal Lambda-Calculus.
Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

An Investigation of Kripke-style Modal Type Theories.
CoRR, 2022

2021
Internal Category with Families in Presheaves.
CoRR, 2021

Formalizing category theory in Agda.
Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2020
Undecidability of <i>d<sub><: </sub></i> and its decidable fragments.
Proc. ACM Program. Lang., 2020

Proof-relevant Category Theory in Agda.
CoRR, 2020

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


  Loading...