TypeSystems

How should you read type system notation?

https://langdev.stackexchange.com/questions/2692/how-should-i-read-type-system-notation

See also :

• ShenLisp
• AgainstTyping