We stand with Ukraine  

Junyoung Jang

Orcid: 0000-0001-6338-2155

Affiliations:
  • McGill University, Montreal, Canada


According to our database1, Junyoung Jang authored at least 6 papers between 2021 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Adjoint Natural Deduction (Extended Version).
[BibTeX]
[DOI]
Junyoung Jang
,
Sophia Roshal
,
Frank Pfenning
,
Brigitte Pientka
CoRR, 2024

2023
Normalization by evaluation for modal dependent type theory.
[BibTeX]
[DOI]
Jason Z. S. Hu
,
Junyoung Jang
,
Brigitte Pientka
J. Funct. Program., 2023

2022
Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself.
[BibTeX]
[DOI]
Junyoung Jang
,
Samuel Gélineau
,
Stefan Monnier
,
Brigitte Pientka
Proc. ACM Program. Lang., 2022

2021
XCheck: a Simple, Effective and Extensible Bug Finder using micro-grammar.
[BibTeX]
[DOI]
Hanwen Zhu
,
Junyoung Jang
,
Xujie Si
CoRR, 2021

Moebius: Metaprogramming using Contextual Types - The stage where System F can pattern match on itself (Long Version).
[BibTeX]
[DOI]
Junyoung Jang
,
Samuel Gélineau
,
Stefan Monnier
,
Brigitte Pientka
CoRR, 2021

Harpoon: Mechanizing Metatheory Interactively - (System Description).
[BibTeX]
[DOI]
Jacob Errington
,
Junyoung Jang
,
Brigitte Pientka
Proceedings of the Automated Deduction - CADE 28, 2021


  Loading...