Posts tagged with "logic"

• Giving a Talk on Propositions as Types
• Proof Assistant in Teaching
• Wadler on Invented Programming Languages
• Liquid Haskell