LaTeX

Tags: ロゴタイプ 19 プログラミング言語 14 スライド 10 型システム 10 記事 9 9 SATySFi 9 東京市会 9 組版 7 2次創作 5 落描き 3 京都 3 所感 2 言語処理系 2 多段階計算 2 プロメア 2 Sesterl 2 学術研究 1 盤上ゲーム 1 ぼっち・ざ・ろっく! 1 深層学習 1 Erlang 1 LaTeX 1 メモ 1 OCaml 1 少女☆歌劇レヴュースタァライト 1 岡本太郎 1 TeX 1 情報科学若手の会 1

TeX言語で型なしλ計算を評価するVMを書いた話

半ばネタOSSとして実装した tex_of_ocaml1 について簡単に紹介します.型なしλ計算を多少程度知っていることを前提とします.

初出: