Λ計算

• 静的なメモリ管理の話。リージョン推論とλ計算からRustまで

  2015-04-21

  • λ計算
  • リージョン推論
  • Rust