[Backus78] Backus, J. Can Programming Be Liberated from the Von Neumann's Style? A Functional Style and its Algebra of Programs - Communications of the ACM, 21(8), August 1978, 613--641. (ACM Turing Award Lecture).
[BWW90] Backus, J., Williams, J.H. and Wimmers, E.L. An Introduction to the Programming Language FL - In Research Topics in Functional Programming, D.A. Turner (Ed.), Addison-Wesley, Reading, MA, 1990.
[BWWLA89]Backus, J., Williams, J.H., Wimmers, E.L., Lucas, P., and Aiken, A.. FL Language Manual, Parts 1 and 2. - IBM Research Report, RJ 7100 (67163), 1989.
[Will82] Williams, J.H. Notes on the FP Style of Functional Programming - In Functional Programming and its Applications, Darlington, J., P. Henderson and D.A. Turner (Eds.), Cambridge: Cambridge Univ. Press, 1982.
[WW91] Williams, J.H. and Wimmers, E.L. An Optimizing Compiler Based on Program Transformation - Internal IBM report, March, 1991.
[LZ88] Lucas, P. and Zilles, S.N. Applicative Graphics Using Abstract Data Types - IBM Research Report, RJ 6198, 1988.
[ZLLLH88] Zilles, S.N., Lucas, P., Linden, T.M., Lotspiech, J.B. and Harbury, A.R.. The Escher Document Imaging Model - ACM Conference on Document Processing Systems, Santa Fe, NM, 1988.
PLaSM
functional language for computing with geometry
Sidebar[Skip]
NEW version !!
The PLaSM versions 5.x are based on the new progressive geometric kernel provided by the XGE (eXtreme Geometric Environment) library by Giorgio Scorzelli, and rely on extensive use of progressive BSPs and complete topology representation by multidimensional Hasse diagrams
S.Stefano Rotondo
The geometric model of the church of S. Stefano Rotondo in Rome is a metamodel of the heavenly Jerusalem.
