This is your work, valued

Yulong Huang

Advanced
@H-Yulong

DCC. Implementation of Defunctionalized Calculus of Constructions (Master thesis)

5

Defun. PartIII dissertation: defunctionalization for dependently typed languages

4

ShallowStack. Dependently typed stack machine language prototype in Agda

4

HereditarySubstitution. An formalization of hereditary substitution for STLC

1