メモ

POPL2010論文読み会(http://www.cse.psu.edu/popl/10/program.html) [私は気になった∧読めるやつだけ]
Verified Compilerな話が多い

• Verified Just-In-Time Compiler on x86 (http://lambda-the-ultimate.org/node/3768)
• A Verified Compiler for an Impure Functional Language(HOASからPHOASな話とか書いててCoqでめちゃんこためになりそう)

Dependent Typeな話も

• Dependent Types from Counterexamples
• Low-Level Liquid Types
• Dependent types and program equivalence

Integrating Typed and Untyped Code in a Scripting Language

Liquid Typesの新作も！！