Content-Length: 248946 | pFad | http://github.com/topics/recursive-types
A3Recursive Variant: A simple library for Recursive Variant Types
Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.
Derived codecs for spray-json for Scala 3.x and 2.x
Artifact for the OOPSLA 2024 paper "Full Iso-Recursive Types"
Add a description, image, and links to the recursive-types topic page so that developers can more easily learn about it.
To associate your repository with the recursive-types topic, visit your repo's landing page and select "manage topics."
Fetched URL: http://github.com/topics/recursive-types
Alternative Proxies: