The static type system of Sparkground

For my undergraduate computer science project course

Apr 2024