The following pages link to Philip Wadler
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Gofer (programming language) (links | edit)
- QuickCheck (links | edit)
- John Hughes (computer scientist) (links | edit)
- Parametricity (links | edit)
- Deforestation (computer science) (links | edit)
- Yhc (links | edit)
- Haddock (software) (links | edit)
- Xmonad (links | edit)
- Journal of Functional Programming (links | edit)
- LOLITA (links | edit)
- David Roundy (links | edit)
- Arvind (computer scientist) (links | edit)
- Paramorphism (links | edit)
- Orwell (programming language) (links | edit)
- Parser combinator (links | edit)
- Ωmega (links | edit)
- List of programming language researchers (links | edit)
- Cryptol (links | edit)
- Expression problem (links | edit)
- Bounded quantification (links | edit)
- Atom (programming language) (links | edit)
- Haskell Platform (links | edit)
- Haskell features (links | edit)
- Haskell (links | edit)
- Jeremy Gibbons (links | edit)
- Paul Hudak (links | edit)
- Ganeti (links | edit)
- Conor McBride (links | edit)
- Yesod (web framework) (links | edit)
- Elm (programming language) (links | edit)
- Real World Haskell (links | edit)
- Idris (programming language) (links | edit)
- Snap (web framework) (links | edit)
- Pandoc (links | edit)
- Parsec (parser) (links | edit)
- Ur (programming language) (links | edit)
- Git-annex (links | edit)
- TidalCycles (links | edit)
- SQream DB (links | edit)
- Simon Marlow (links | edit)
- List of fellows of the Association for Computing Machinery (links | edit)
- Cardano (blockchain platform) (links | edit)
- John Launchbury (links | edit)
- John MacFarlane (philosopher) (links | edit)
- List object (links | edit)
- Liquid Haskell (links | edit)
- Simon Thompson (professor) (links | edit)
- Servant (web framework) (links | edit)
- List of fellows of the Royal Society elected in 2023 (links | edit)
- Talk:Haskell/Archive 1 (links | edit)