. . "John Charles Reynolds"@es . . . . . "Springer Science + Business Media"@fr . "John Charles Reynolds"@fr . . "1935-06-01"^^ . . . . . "mai"@fr . . . . . . . . . . . . "513"^^ . "Philip Wadler"@fr . . . . . . . . . . . . . . "2013"^^ . . . . . . . . . . . . . "1974"^^ . . . . . "m\u00E9daille Lovelace"@fr . . . . "1970"^^ . . . "Theories of programming languages"@fr . . "1983"^^ . . . . . "1981"^^ . . . . . . "1"^^ . "Information Processing '83"@fr . . . . . "John Charles Reynolds"@fr . . "The craft of programming"@fr . ""@fr . "en"@fr . . . . "Machine Intelligence"@fr . . "Page de John Reynolds \u00E0 l'universit\u00E9 Carnegie-Mellon"@fr . "10.1016"^^ . "parametricity"@fr . . . . . "5"^^ . . . . . . . . . . . . "John Charles Reynolds (1er juin 1935 \u2013 28 avril 2013) est un informaticien am\u00E9ricain. Il est r\u00E9put\u00E9 pour ses contributions \u00E0 la th\u00E9orie de la programmation."@fr . . . . . . "John C. Reynolds"@fr . . . "Paris"@fr . . . . . "190282289"^^ . "7214"^^ . "Colloque sur la Programmation"@fr . . "10.1007"^^ . "Peter O\u2019Hearn"@fr . . "1935-06-01"^^ . . . . "2007"^^ . . . . . . . . . . . . "Towards a theory of type structure"@fr . . . . . "Cambridge"@fr . . "continuation, interpr\u00E9teur, d\u00E9fonctionalisation, langages de programmation Forsythe et Gedanken Syst\u00E8me F, param\u00E9tricit\u00E9, logique de s\u00E9paration"@fr . "1998"^^ . . . "375"^^ . . "500"^^ . . "Universit\u00E9 Harvard"@fr . "defunctionalization"@fr . "d\u00E9fonctionalisation"@fr . "1"^^ . . . . . "1935"^^ . . . . . . . . "408"^^ . . . "\u00E9diteurs"@fr . "Festschrift for John C. Reynolds's 70th Birthday"@fr . . "Theoretical Computer Science"@fr . . . . . . . . . "ftp://ftp.cs.cmu.edu/user/jcr/transysalg.pdf"@fr . "135"^^ . . . . "2013-04-28"^^ . . . "Transformational Systems and the Algebraic Structure of Atomic Formulas"@fr . . . "Olivier Danvy"@fr . . "0"^^ . "Types, Abstraction and Parametric Polymorphism"@fr . . . . . . . . "2013-04-28"^^ . "10247460"^^ . "302"^^ . "param\u00E9tricit\u00E9"@fr . . "434"^^ . "John Charles Reynolds (1er juin 1935 \u2013 28 avril 2013) est un informaticien am\u00E9ricain. Il est r\u00E9put\u00E9 pour ses contributions \u00E0 la th\u00E9orie de la programmation."@fr . . . .