Pinboard: bookmarks for wagerlabs tagged 'coq'

wagerlabs + coq 9

select: none ‧ this page no items selected

mark as read ‧ unread ‧ private ‧ public ‧ add stars ‧ remove stars ‧ delete

tag: add or remove tag

THIS IS BOILERPLATE confirm ‧ cancel

Oregon Programming Languages Summer School
coq programming lectures compilers
january 2011 by wagerlabs

copy to mine

The YNot Project | Lambda the Ultimate
coq functional compilers
january 2008 by wagerlabs

copy to mine

Coq for POPL folk
coq
december 2007 by wagerlabs

copy to mine

The Compcert certified compiler back-end
coq compilers
may 2007 by wagerlabs

copy to mine

Abstracting Allocation: The New new Thing | Lambda the Ultimate
coq compilers
may 2007 by wagerlabs

copy to mine

Lambda Tamer
coq compilers assembler
may 2007 by wagerlabs

copy to mine

A Very Modal Model of a Modern, Major, General Type System | Lambda the Ultimate
coq compilers types
may 2007 by wagerlabs

copy to mine

A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language | Lambda the Ultimate
coq compilers lambda-calculus
may 2007 by wagerlabs

copy to mine

Djinn, Coq, Monad and a bit of Haskell
functional compilers coq types
may 2007 by wagerlabs

copy to mine

Copy this bookmark: