Papiers de lambda

Le lambda les papiers finaux ont été écrits par le Gerald Jay Sussman et le Jr. de Steele de type de en 1975-1978, remettant en cause les pratiques courantes puis dans des réalisations du langage de programmation . Le foyer était sur prouver que des langages de programmation peuvent être mis en application efficacement sans contraindre les programmeurs par des règles arbitraires, et en discutant des stratégies d'exécution pour le comploter .

Liste de papiers

1975 : Arrangement : Un interprète pour le calcul prolongé de lambda
1976 : lambda : L'impératif final
1976 : lambda : Le déclaratif final
1977 : Démystifiant le mythe « d'appel de procédure cher », ou, des réalisations d'appel de procédure considérées nocives, ou, lambda : Le GOTO final
1978 : L'art de l'interprète ou, le complexe de modularité (des parties zéro, une, et deux)
1978 : LAPIN : Un compilateur pour l'ARRANGEMENT
1979 : Conception des processeurs Bléser-basés, ou ARRANGEMENT : Un LISP de diélectrique, ou les mémoires finies a considéré nocif, ou le lambda : L'Opcode final
1980 : Optimisation de compilateur basée sur le visionnement lambda comme RETITRENT + GOTO
1980 : Conception d'un processeur Bléser-basé

Random links: