Typesafe record types for Scala
-
Updated
Jan 26, 2025 - Scala
#
record-types
Here are 3 public repositories matching this topic...
Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.
-
Updated
Mar 17, 2026 - OCaml
Record types from JSON schemata in Scala
-
Updated
Jan 22, 2025 - Scala
Add this topic to your repo
To associate your repository with the record-types topic, visit your repo's landing page and select "manage topics."