-
Se publica una noción de prueba de Lambda Cálculo
-
Alonzo Church introdujo el Lambda Cálculo
-
Se introdujo la deducción natural
-
Se escribio el famoso articulo de la maquina de nombre Turing
-
Turing fue a estudiar a Princeton con Church
-
Church introdujo una versión tipada del lambda cálculo
-
FORTRAN, desarrollado en IBM
-
Surge Scheme en los laboratorios MIT
-
ALGOL, fue desarrollado
-
El Basic Original fue diseñado
-
Fue desarrollado PASCAL por Niklaus Wirth
-
Surge Erlang en los laboratorios Ericsson
-
Publicacion de Miranda
-
Se desarrollo Ocnal
-
Se publico el estandar del lenguaje Haskell 98
-
PHP 4 se lanzo bajo motor zend
-
Se desarrollo Rust
-
Se lanza la version 4.4.9 de PHP
