YouyouCong

Youyou Cong's repositories

Language:OCaml24 40

Type-preserving CPS translation for simply- and dependently-typed lambda calculi

Language:Agda18 10

Language:Agda11 10

A typed control/prompt calculus in Agda

Language:Agda6 10

Language:Racket1 10

A stepper (step-by-step interpreter) implemented using shift and reset

Language:OCaml1 10

Coq course at Chalmers CSE

Language:Coq010

Language:Agda000

Technical appendix of my ICFP 2018 submission

010

Language:Agda000

Language:Java000

Language:Agda010

Language:TeX000

Language:Agda010

Women in Programming Languages and Software Engineering Research

000