進捗大陸02

ダウンロード商品
¥ 300

2017年10月分の技術書典駆動開発にて生成された進捗をまとめた本です。内容 @yutopp 自作言語RillとWebAssembly LLVMを使ったWASMサポートとランタイム移植の話 @youxkei 再帰を持つ関数型言語の符号解析抽象解釈を使って関数型言語の符号を解析するpart2 @amutake 証明付き分散システムを作ろう！ Coqの分散システム実装フレームワークVerdiの紹介 https://yutopp.github.io/shinchoku-tairiku-web/02

進捗大陸

「ギフトとして贈る」とは