Lambda.Rodeo is a compiled, strongly-typed functional programming language for the JVM. It intends to have a clear, simple syntax with an advanced type checker.
-
Updated
Mar 25, 2023 - Java
#
type-checker
Here are 3 public repositories matching this topic...
👩💻C-- Compiler, Programming Languages and Compiler Design, University of Tehran
java jasmine compiler antlr4 code-generation compiler-design type-checker grammar-parser c-minus-minus name-analyzer javabytecode
-
Updated
Apr 26, 2022 - Java
Webpages of course Programming Language Technology
-
Updated
Feb 12, 2025 - Java
Improve this page
Add a description, image, and links to the type-checker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-checker topic, visit your repo's landing page and select "manage topics."