Report - Dependent Types for Mere Mortalslkuper/talks/dependent-types/...for Mere Mortals Lindsey Kuper Thursday, February 25, 2010 Motivation Thursday, February 25, 2010 Motivation • Types

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form