Pages that link to "Philip Wadler"
Jump to navigation
Jump to search
The following pages link to Philip Wadler:
Displaying 30 items.
- List of computer scientists (links)
- Structure and Interpretation of Computer Programs (links)
- Sequent calculus (links)
- List comprehension (links)
- Monad (functional programming) (links)
- System F (links)
- School of Informatics, University of Edinburgh (links)
- Natural numbers object (links)
- SIGPLAN (links)
- Corecursion (links)
- List of University of Glasgow people (links)
- John C. Reynolds (links)
- Strictness analysis (links)
- Phil Wadler (redirect page) (links)
- Type class (links)
- Programming language theory (links)
- Law of triviality (links)
- Wadler (links)
- Generics in Java (links)
- Parametricity (links)
- Deforestation (computer science) (links)
- Journal of Functional Programming (links)
- Paramorphism (links)
- Orwell (programming language) (links)
- List of programming language researchers (links)
- Expression problem (links)
- Bounded quantification (links)
- Talk:Haskell/Archive 1 (links)
- Talk:Type inference (links)
- Wiki143:Reference desk/Archives/Mathematics/2009 November 8 (links)