Philip Wadler
- Featherweight Go
2020/05/24 by Robert Griesemer, Raymond Hu, Griesemer, Robert +13 · 5 voices
Computer Science · Social Sciences · #Artificial Intelligence in Games #Computer science #Digital Games and Media #Java #Logic, programming, and type systems #Programming language #Subtyping #cs.LO #cs.PL
- Refinement Reflection: Complete Verification with SMT
2017/11/09 by Niki Vazou, Anish Tondwalkar, Vikraman Choudhury +4 · 2 voices · 4 citations
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Security and Verification in Computing #cs.LO #cs.PL
- A history of Haskell
2007/06/06 by Paul Hudak, John Hughes, Simon Peyton Jones +1 · 1 voice · 7 citations
Computer Science · #Logic, programming, and type systems #Computability, Logic, AI Algorithms #Advanced Malware Detection Techniques
- Propositions as types
2015/11/23 by Philip Wadler · 3 citations
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification #Computer science #Programming language #Computation #Logic programming #Theoretical computer science
- UC, Categorically: Rigorous Diagrammatic Proofs
2026/08/05 by Pooya Farshim, Martti Karvonen, Andre Knispel +2
Computer Science · Mathematics · #cs.LO #cs.CR #math.CT