Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Abramsky, S. and R. Sykes• SBCD-M: a virtual machine for applicative programming. In Functional Programming Languages and Computer Architecture ,LNCS 201, Springer-Verlag 1985, 81–98.
2. Burstall, R.M. and J. Darlington. A transformation model for developing recursive programs. J. ACM, 24 ,1, 44–67 (1977).
3. Dannenberg, R. B. Arctic: a functional language for real-time control. In Symposium on LISP and Functional Programming ,ACM, 1984, 96–103.
4. Davis, E. A high-level real-time programming language. Technical Report No. 145 and Robotics Report No. 36 ,New York University, 1984.
5. Henderson, P. Purely functional operating systems. In Functional Programming and its Applications: an Advanced Course ,J. Darlington, P. Henderson, and D. Turner (eds), Cambridge University Press, 1982, 177–192.