Pages that link to "Journal of Functional Programming"
Showing 50 items.
- Functional programming (links | edit)
- Type theory (links | edit)
- Intuitionistic type theory (links | edit)
- Rewriting (links | edit)
- Lambda cube (links | edit)
- Bunched logic (links | edit)
- JFP (links | edit)
- Dependent type (links | edit)
- Dependent ML (links | edit)
- Philip Wadler (links | edit)
- Richard Bird (computer scientist) (links | edit)
- Programming language theory (links | edit)
- International Conference on Functional Programming (links | edit)
- Lambert Meertens (links | edit)
- Abstract rewriting machine (links | edit)
- Zipper (data structure) (links | edit)
- Xmonad (links | edit)
- Arvind (computer scientist) (links | edit)
- Normalisation by evaluation (links | edit)
- Journal of functional programming (redirect page) (links | edit)
- List of scientific journals (links | edit)
- Finger tree (links | edit)
- Pure type system (links | edit)
- Gérard Huet (links | edit)
- Calkin–Wilf tree (links | edit)
- Expression problem (links | edit)
- Haskell features (links | edit)
- Meertens number (links | edit)
- Higher-Order and Symbolic Computation (links | edit)
- Conor McBride (links | edit)
- List of Cambridge University Press journals (links | edit)
- List of computer science journals (links | edit)
- Cuneiform (programming language) (links | edit)
- J. Funct. Program. (redirect page) (links | edit)
- User:TokenzeroBot/abbrev params (links | edit)
- Wikipedia:WikiProject Academic Journals/Journals cited by Wikipedia/J9 (links | edit)
- Wikipedia:WikiProject Academic Journals/Journals cited by Wikipedia/Publisher5 (links | edit)
- Wikipedia:WikiProject Academic Journals/Journals cited by Wikipedia/DOI/10.1010 (links | edit)
- J Funct Program (redirect page) (links | edit)
- Talk:Journal of Functional Programming (transclusion) (links | edit)
- User:Pi Delport/Task list (links | edit)
- User:AlexNewArtBot/AcademicSearchResult/archive1 (links | edit)
- User:Psychless/Untagged/7 (links | edit)
- User:Ruud Koot/Computer science (links | edit)
- User:Headbomb/Sandbox1 (links | edit)
- User:TokenzeroBot/abbrev params (links | edit)
- Wikipedia:WikiProject Academic Journals/Articles by size (links | edit)
- Wikipedia:Articles for deletion/Log/2007 December 23 (links | edit)
- Wikipedia:Articles for deletion/Xmonad (2nd nomination) (links | edit)
- Wikipedia:WikiProject Academic Journals/Journals cited by Wikipedia/J9 (links | edit)
- Wikipedia:WikiProject Academic Journals/Danish journal list/38 (links | edit)
- Wikipedia:Articles for deletion/Qi (programming language) (2nd nomination) (links | edit)
- Wikipedia:Articles for deletion/Log/2012 January 20 (links | edit)
- Wikipedia:WikiProject Academic Journals/Journals cited by Wikipedia/J45 (links | edit)