YouyouCong/ppl-summer-school-2022 YouyouCong/ppl-summer-school-2022

  • Stars
    star
    24
  • Rank 956,938 (Top 20 %)
  • Language
    OCaml
  • Created almost 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
YouyouCong/ppl-summer-school-2022
github

YouyouCong

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

type-preserving-cps

Type-preserving CPS translation for simply- and dependently-typed lambda calculi
Agda
18
star
2

counterpoint

Agda
11
star
3

control

A typed control/prompt calculus in Agda
Agda
6
star
4

stepper_ochacaml

A stepper (step-by-step interpreter) implemented using shift and reset
OCaml
1
star
5

edu22

Racket
1
star