POPLmark Benchmark Comparison The POPLmark is a benchmark to "measur[e] progress [...] in mechanizing the metatheory of programming languages". We have implemented part A of the challange problem, the preservation and progress of System F with subtyping, to compare Autosubst to manual implementations and other libraries. The following are all Coq implementations of part 1A and 2A we know of. Leroy
MPRI course 2-4 Functional programming and type systems Academic year 2016-2017 This is the material for X. Leroy's lectures in the MPRI 2-4 course (Sept 16th to Oct 14th). Click on the following links for the other lectures: Didier Rémy Yann Régis-Gianas Outline for the whole course. Program execution and transformations: Slides for the lectures: Part I: interpreters and operational semantics: fo
SSDの容量、性能、耐久性、電力効率を高める「3D V-NAND」とは何か?:NANDフラッシュは1Tビット時代へ(1/4 ページ) NANDフラッシュには新しいアプローチが必要 Samsung Electronicsが韓国ソウルで開催したSSDのプレスイベント「2014 Samsung SSD Global Summit」では、新製品である「Samsung SSD 850 PRO」の発表に先立ち、3次元構造のNANDフラッシュメモリ「3D V-NAND」の技術解説や市場トレンドについて講演が行なわれた。 発表会リポートはこちら→ Samsung、3次元NAND採用で10年保証の「SSD 850 PRO」を発表 レビューはこちら→ 「Samsung SSD 850 PRO」徹底検証――“3D V-NAND”で10年保証を実現した先進SSDの実力は? 開会の挨拶を行なったキム・オンス氏に続い
Apollo 11 mission's 40th Anniversary: One large step for open source code... On this day 40 years ago, Neil Armstrong and Buzz Aldrin became the first humans to walk on the Moon. This was quite an achievement for mankind and a key milestone in world history. To commemorate this event the Command Module code (Comanche054) and Lunar Module code (Luminary099) have been transcribed from scanned images
2014/12/14 · ClojureとClojureScriptで使える関数・マクロの違い · Clojureでのみ使えるもの · ClojureScriptでのみ使えるもの · 共通して使えるもの. ( ...
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く