John C. Reynolds

没有进行过直接实现ISWIM的尝试，但Arthur Evans的PAL，和John C. Reynolds（英语：John C. Reynolds）的Gedanken，获取了Landin的多数概念，包括强力的控制转移操作。这两者都是动态类型的。Milner的M

mbda演算。它由逻辑学家Jean-Yves Girard（英语：Jean-Yves Girard）和计算机科学家John C. Reynolds（英语：John C. Reynolds）独立发现的。系统F形式化了编程语言中的参数多态的概念。 正如同lambda演算有取值于（range

c) b))) (define (cdr a) (a (lambda (b c) c))) John C. Reynolds（英语：John C. Reynolds）在1993年的论文《The Discoveries of Continuations》中给出了发现续体的完整历史。Reynolds认为续体的最早描述由Adriaan

{ ... } } List<B> map(Func<A, B> f, List<A> xs) { ... } John C. Reynolds（英语：John C. Reynolds）（和后来的Jean-Yves Girard（英语：Jean-Yves Girard））正式的将这种多态概念发展为

In 1983年，约翰·雷诺兹（John Reynolds）、B·S·维尔（B.S. Weir）和考克汉姆（C. Clark Cockerham）提出了一种后来得名“雷诺兹遗传距离”（Distance de Reynolds）的方法，假设群体的遗传分化中没有突变的作用，而完全是