mod_poppoが型付きラムダ計算の処理系を実装する日記

まずTaPLを読みます。次に、TaPLで参照されている論文を読みます。
0
前へ 1 ・・ 8 9
mod_poppo @mod_poppo

let多相をSystem Fに変換するやつを実装した pic.twitter.com/7ArtbiXCTh

2017-09-06 17:01:45
拡大
mod_poppo @mod_poppo

これ以外の素直な変換先としては λ_∧（交差型） もありうる。もちろん単純型付きラムダ計算への変換も考えられるけど、少し複雑になりそう

2017-09-06 17:03:35
前へ 1 ・・ 8 9

いま話題のタグ

ホテル561 寿司475 為末大536 居酒屋352 共同通信303 骨格診断11 マンガ41992 邦キチ!映子さん22 精神疾患116 ガンダム2062 古谷徹29 骨格ストレート3 松屋140 腐女子728 声優4019