Proof Summit 2016 - Media List

Ended 2016/09/25（Sun） 11:00〜

定理証明系と関数型言語に関するユーザーイベントです。

35.027611, 135.783778

Group Information

Members	268 people
Number of events	5

(未設定)

投稿日:Sept. 25, 2016, 7:30 a.m.

動画はありません。

JAXA/IPA クリティカルソフトウェアワークショップ WOCS　言語関連発表第13回クリティカルソフトウェアワークショップ表明とタイプ置換原理のムジュラー推論を利用したミッションクリティ...

Contribute to dependent-types-in-scala development by creating an account on GitHub.