Programacion Imperativa y Funcional By Drollet 1930 Se publica una noción de prueba de Lambda Cálculo 1932 Alonzo Church introdujo el Lambda Cálculo 1934 Se introdujo la deducción natural 1936 Se escribio el famoso articulo de la maquina de nombre Turing 1937 Turing fue a estudiar a Princeton con Church 1940 Church introdujo una versión tipada del lambda cálculo 1954 FORTRAN, desarrollado en IBM 1955 Surge Scheme en los laboratorios MIT 1960 ALGOL, fue desarrollado 1964 El Basic Original fue diseñado 1970 Fue desarrollado PASCAL por Niklaus Wirth 1980 Surge Erlang en los laboratorios Ericsson 1985 Publicacion de Miranda 1992 Se desarrollo Ocnal 1999 Se publico el estandar del lenguaje Haskell 98 2000 PHP 4 se lanzo bajo motor zend 2005 Se desarrollo Rust 2008 Se lanza la version 4.4.9 de PHP
