Get started
Author

Junyoung Jang

Observed names: JUNYOUNG JANG, Jang, Junyoung
Institution: McGill University
Observed institution: McGill University
ORCID: 0000-0001-6338-2155
Observed ORCID: 0000-0001-6338-2155
OpenAlex ID: A5089882954
Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself
2022 · Junyoung Jang, Samuel Gélineau, et al. · Proceedings of the ACM on Programming Languages · 40
PDF
Normalization by evaluation for modal dependent type theory
2023 · JASON Z. S. HU, JUNYOUNG JANG, et al. · Journal of Functional Programming · 18
PDF
McTT: A Verified Kernel for a Proof Assistant
2025 · Junyoung Jang, Antoine Gaulin, et al. · Proceedings of the ACM on Programming Languages · 7
PDF
Harpoon: Mechanizing Metatheory Interactively
2021 · Jacob Errington, Junyoung Jang, et al. · Lecture notes in computer science · 1
PDF
Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming
2024 · Jang, Junyoung, Pientka, Brigitte · arXiv (Cornell University)
PDF
“Reviewing” Confucius’s Theory of Human Nature and His Philosophy on Education
2017 · Junyoung Jang · Chinese Language Education and Research
Works count: 7
Citation count: 67
H-index: 3
I10-index: 2
Year
Topic
Type