Pages that link to "J. Roger Hindley"
Showing 35 items.
- Functional programming (links | edit)
- 1 (links | edit)
- Type theory (links | edit)
- Haskell Curry (links | edit)
- Combinatory logic (links | edit)
- Curry–Howard correspondence (links | edit)
- Type inference (links | edit)
- Constructive proof (links | edit)
- B, C, K, W system (links | edit)
- Noncommutative logic (links | edit)
- Moses Schönfinkel (links | edit)
- Condensed detachment (links | edit)
- Parametric polymorphism (links | edit)
- Programming language theory (links | edit)
- Applicative computing systems (links | edit)
- J. Roger Hindley (transclusion) (links | edit)
- Hindley–Milner type system (links | edit)
- Roger Hindley (redirect page) (links | edit)
- Hindley (surname) (links | edit)
- J. R. Hindley (redirect page) (links | edit)
- Scott–Curry theorem (links | edit)
- Talk:J. Roger Hindley (transclusion) (links | edit)
- User:AlexNewArtBot/AcademicSearchResult/archive5 (links | edit)
- User:AlexNewArtBot/LogicSearchResult/archive24 (links | edit)
- User:AlexNewArtBot/EducationSearchResult/archive76 (links | edit)
- User:AlexNewArtBot/ReferencesSearchResult/archive32 (links | edit)
- User:Pascal666/living/7 (links | edit)
- User:VeblenBot/List of mathematical logic articles (links | edit)
- User:Tony Sidaway/Living people/tranche 038 (links | edit)
- User:SamuelRiv/Bot (links | edit)
- User:Ruud Koot/Bibliography (links | edit)
- User:Ruud Koot/Computer science/Lambda calculus (links | edit)
- User:Stinglehammer/Educated in NorthEast England (links | edit)
- User talk:Ruud Koot/2014 (links | edit)
- Wikipedia:WikiProject Mathematics/List of mathematicians (H) (links | edit)