Misplaced Pages

The following pages link to Philip Wadler

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 50 items.

• List of computer scientists (links | edit)
• Haskell Curry (links | edit)
• St Cross College, Oxford (links | edit)
• Andrew D. Gordon (links | edit)
• Uniqueness type (links | edit)
• Sequent calculus (links | edit)
• HaXml (links | edit)
• Curry–Howard correspondence (links | edit)
• List comprehension (links | edit)
• Algebraic data type (links | edit)
• Curry (programming language) (links | edit)
• Stack (Haskell) (links | edit)
• Paradox (theorem prover) (links | edit)
• Template Haskell (links | edit)
• Hugs (interpreter) (links | edit)
• Glasgow Haskell Compiler (links | edit)
• Monad (functional programming) (links | edit)
• System F (links | edit)
• School of Informatics, University of Edinburgh (links | edit)
• Fudgets (links | edit)
• Natural numbers object (links | edit)
• SIGPLAN (links | edit)
• Corecursion (links | edit)
• List of University of Glasgow people (links | edit)
• Pugs (compiler) (links | edit)
• Audrey Tang (links | edit)
• Lennart Augustsson (links | edit)
• Darcs (links | edit)
• Joe Stoy (links | edit)
• John C. Reynolds (links | edit)
• Strictness analysis (links | edit)
• Phil Wadler (redirect page) (links | edit)
  • BCS-FACS (links | edit)
  • Philip Wadler (links | edit)
  • Generalized algebraic data type (links | edit)
  • Jargon File (links | edit)
  • Talk:Jargon File (links | edit)
  • Talk:Simon Peyton Jones (links | edit)
  • User:Ruud Koot/Computer science (links | edit)
  • User talk:K.e.coffman/Archive/2019/August (links | edit)
  • Template talk:Cite journal/Archive 6 (links | edit)
• Simon Peyton Jones (links | edit)
• Type class (links | edit)
• Richard Bird (computer scientist) (links | edit)
• Programming language theory (links | edit)
• Law of triviality (links | edit)
• Concurrent Haskell (links | edit)
• Erik Meijer (computer scientist) (links | edit)
• Wadler (links | edit)
• Agda (programming language) (links | edit)
• Cabal (software) (links | edit)
• Bluespec (links | edit)
• Map (higher-order function) (links | edit)
• List of University of Edinburgh people (links | edit)
• Hume (programming language) (links | edit)
• WxHaskell (links | edit)
• House (operating system) (links | edit)
• Generics in Java (links | edit)
• Rod Burstall (links | edit)