型ってなんだ?!漸進的型付けってなんだ?って人に読んでほしい。プログラミング入門者必読の研究内容!

kojiaomatsukojiaomatsu のブックマーク 2018/12/09 10:38

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

型システム 〜プログラムの安全性を支える数学〜 - Laborify

    京都大学大学院 情報学研究科 通信情報システム専攻 修士2回生の五十嵐雄です.大学では,プログラミング言語理論,その中でも特に型システムの研究をしています. この記事では,私が特に力を入れて研究している...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう