zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ 論文メモ 型理論 プログラミング言語理論に関係する論文を結構読み散らかしているのだが、あまりしっかりアウトプットする機会もないので読み込みも甘いし記憶も曖昧になる。 というわけで面白そうなやつは、内容・背景・感想などをブログにメモとして残していこうと考えた。 Types and Programming Languages作者のBenjamin Pierceが2004年に知り合いの研究者たちに聞いてリストアップした「プログラミング言語関連で重要な論文」リストを最近見ていて： www.cis.upenn.edu この中からJohn ReynoldsのTowards a Theory of Type Structur… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2022%2F03%2F06%2F113018" title="論文メモ: Towards a Theory of Type Structureを読もうとして挫折した話 - Arantium Maestum" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2022-03-06 11:30:18 rich https://zehnpaard.hatenablog.com/entry/2022/03/06/113018 1.0 100%