1930POST系统 递归函数理论 可计算理论 Church, Rosser(1930s) Turing ( 1936) 940 λ演算 Church(1941) 950 程序正确性和验证(1960s 1960 引用透明, Strachey 形式语义定义 SECD机 Landing(194) PL/的 Vienna定义(1967) 指称语义学(1971) 并发性 Scott, Strachey) Dijkstra(1968) Mime类型理论(1978) Hoare: CPS(1978 分布式计算 amport 980 函数式语言 ML Miranda haskell 协作计算1988 990 第9页第9页 1930 1940 1950 1960 1970 1980 1990 POST 系统 递归函数理论 Church,Rosser(1930s) 可计算理论 Turing(1936) λ演算 Church(1941) 程序正确性和验证(1960s) 引用透明,Strachey 形式语义定义 SECD机,Landin(1964) PL/1的Vienna定义(1967) 指称语义学(1971) Scott,Strachey) Milner:类型理论(1978) 函数式语言: ML Miranda Haskell 并发性 Dijkstra(1968) Hoare:CPS(1978) 分布式计算 Lamport 协作计算1988