Profile
Masanori Ogino 𓀁
181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
https://mstdn.maud.io/@omasanori
Masanori Ogino 𓀁 reblogged at 2 years ago
Ushitora Anqou anqou@mstdn.anqou.net
@omasanori ありがとうございます。いま別の文献の introduction を読んでいて （Polymorphic set-theoretic types for functional languages - TPetrucciani-thesis.pdf https://tel.archives-ouvertes.fr/tel-02119930/document の P.26 の function overloading）だいぶ理解してきました