Les pages ci-dessous contiennent un ou plusieurs liens vers John C. Reynolds (ne voir que : les inclusions, les liens, les redirections).
Affichage de 17 éléments.
- Continuation (informatique) (← liens | modifier)
- Christopher Strachey (← liens | modifier)
- Système F (← liens | modifier)
- Curryfication (← liens | modifier)
- Évaluation paresseuse (← liens | modifier)
- John Reynolds (← liens | modifier)
- Logique de séparation (← liens | modifier)
- Décès en avril 2013 (← liens | modifier)
- Machine de Krivine (← liens | modifier)
- ISWIM (← liens | modifier)
- Médaille Lovelace (← liens | modifier)
- Liste des Fellows de l'Association for Computing Machinery (← liens | modifier)
- Anti-unification (← liens | modifier)
- Théorie des langages de programmation (← liens | modifier)
- Utilisateur:Framabot/log/traduction/août 2016 (← liens | modifier)
- Utilisateur:GhosterBot/Requetes Bot/Exemples/002/Décès en avril 2013 (← liens | modifier)
- Projet:Restauration lien rouge/par distance/Exceptions/J/21 (← liens | modifier)