distributedone (Twitter) - ユーザ詳細 - Ceek.jp Altmetrics

distributedNews (@distributedone)

投稿
お気に入り
フォロー
フォロワー

投稿一覧（最新100件）

2 0 0 0 OA Verifying the Correctness of Compiler for an Imperative Programming Language

Verifying the Correctness of a Compiler for an Imperative, Programming Language (2011) https://t.co/pSNkMD8cVY #distributedNews

2 0 0 0 OA A Type Safe Access to Key-value Stores from Functional Languages

Type-Safe Access to Key-Value Stores from a Functional Language (2016) https://t.co/2IjVnwvNIX #distributedNews

お気に入り一覧（最新100件）

フォロー（10ユーザ）の投稿一覧（直近7日間）

フォロワー（409ユーザ）の投稿一覧（直近7日間）