λ Type Systems (Scour Interest Recommendation)

You might also be interested in:

λ Type Systems
type theory, type inference, dependent types, algebraic data types

✅ Add this interest to see related posts in your feed.
❌ Or reject it and we'll come up with better recommendations next time.

You can also add more interests manually to improve your feed.