jonsterling/sml-modernized-algol
Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees
Standard ML
Stargazers
- ayberktUniversity of Birmingham
- bixuanzjuStandard Chartered
- fanpuJane Street
- joom@Bloomberg
- jozefgAarhus
- KvaroverHeavenlocalhost, Taiwan
- lucasmarcosDois Vizinhos, PR
- lydia-schiffDiscord
- MarisaKirisame魔法の森, Gensokyo
- markfarrellCanada
- sarostru
- stonebuddhaPeking University
- themattchan@awakesecurity
- veyselustaMersin
- wilcoxjayUniversity of Washington