Oregon Programming Languages Summer School
Oregon Programming Languages Summer School — June 15-25, 2010 Logic, Languages, Compilation, and Verification Speakers Organizers Participants Curriculum Lecture Schedule The program consisted of 80 minute lectures presented by internationally recognized leaders in programming languages and formal reasoning research. Some of the lectures will assume interactive sessions using Coq, a proof assistan
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ESSLLI 2012 Student Session: Submit a paper!
Site Maintenance
NASSLLI 2012 - Summer School of Logic, Language, and Information
EALING: EALing 2010