A compiler built with Flex and Bison for the language's rules, tokens, and ASTs, with a type-checking algorithm, three-way code generation, and Assembly Code.
-
Updated
Nov 23, 2023 - C
A compiler built with Flex and Bison for the language's rules, tokens, and ASTs, with a type-checking algorithm, three-way code generation, and Assembly Code.
A demonstration of NaN boxing for runtime type checking
Let's write a C program in a parametric-polymorphismic way!
Add a description, image, and links to the type-checking topic page so that developers can more easily learn about it.
To associate your repository with the type-checking topic, visit your repo's landing page and select "manage topics."