Pages that link to "Biography:Philip Wadler"
From HandWiki
The following pages link to Biography:Philip Wadler:
Displayed 28 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Corecursion (← links)
- Haskell (programming language) (← links)
- Orwell (programming language) (← links)
- Generics in Java (← links)
- Natural number object (← links)
- Type class (← links)
- List object (← links)
- Expression problem (← links)
- Bounded quantification (← links)
- Parametricity (← links)
- Sequent calculus (← links)
- System F (← links)
- Natural numbers object (← links)
- Monad (functional programming) (← links)
- List comprehension (← links)
- Deforestation (computer science) (← links)
- Journal of Functional Programming (← links)
- List of important publications in computer science (← links)
- Programming language theory (← links)
- Strictness analysis (← links)
- Haskell (← links)
- Philosophy:Law of triviality (← links)
- Biography:List of programming language researchers (← links)
- Biography:Philip Wadler (transclusion) (← links)
- Biography:John C. Reynolds (← links)
- Biography:List of computer scientists (← links)
- Biography:Rod Burstall (← links)
- Software:History of Programming Languages (← links)
