Bobrow opublikowali książkę The Art of the Metaobject Protocol. Eugenio Moggi i Philip Wadler wprowadzili monady w paradygmacie funkcyjnym do strukturyzacji programów.
Główne obszary Można wyróżnić kilka kierunków badań, które albo leżą w obrębie teorii języka programowania, albo które mają na nią głęboki wpływ. Nakładające się na siebie obszary obejmują:
semantyki formalne teoria typów analiza i transformacja programów analiza porównawcza języków programowania programowanie uogólnione i metaprogramowanie języki dziedzinowe systemy czasu wykonywalnego (ang. runtime system)
Znane czasopisma i konferencje naukowe ACM Transactions on Programming Languages and Systems (TOPLAS); Journal of Functional Programming (JFP); Journal of Functional and Logic Programming; Higher-Order and Symbolic Computation; Symposium on Principles of Programming Languages (POPL); Programming Language Design and Implementation (PLDI); International Conference on Functional Programming (ICFP); International Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA); International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS).
Przypisy