I need feedback on formalizing the type system used by Infernu (type inference for subset of JavaScript)
https://www.reddit.com/r/ProgrammingLanguages/comments/1pohfjs/i_need_feedback_on_formalizing_the_type_system/
Reddit alternative link(s)
🔗 troddit:
https://www.troddit.com/r/ProgrammingLanguages/comments/1pohfjs/i_need_feedback_on_formalizing_the_type_system/
🔗 redlib.privacyredirect (FIN):
https://redlib.privacyredirect.com/r/ProgrammingLanguages/comments/1pohfjs/i_need_feedback_on_formalizing_the_type_system/
🔗 redlib.catsarch (US):
https://redlib.catsarch.com/r/ProgrammingLanguages/comments/1pohfjs/i_need_feedback_on_formalizing_the_type_system/
Please Login to reply.
No replies yet.
